{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T02:55:18Z","timestamp":1648781718646},"reference-count":33,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1996,1]]},"DOI":"10.1080\/11663081.1996.10510890","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T04:10:08Z","timestamp":1338351008000},"page":"303-345","source":"Crossref","is-referenced-by-count":2,"title":["Many-dimensional arrow logics"],"prefix":"10.1080","volume":"6","author":[{"given":"Dimiter","family":"Vakarelov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","unstructured":"Arsov, A. 1993. \u201cCompleteness theorems for some extensions of arrow logic. Master's thesis, sofia University\u201d."},{"key":"CIT0002","volume-title":"Aspects of Philosophical Logic, chapter An irreflexivity lemma with applications to axiomatizations of conditions on linear frames, pages 569\u2013583. Reidel, Dordrecht","author":"Dov Gabbay.","year":"1981"},{"key":"CIT0003","volume-title":"A companion to modal logic.","author":"Hughes G. E.","year":"1984"},{"key":"CIT0004","unstructured":"Goranko, V. and Passy, S. 1990. \u201cUsing the universal modality: Gains and questions. ITLI-Prepublication series, X-90-06, University of Amsterdam\u201d."},{"key":"CIT0005","volume-title":"Americ. J. Math., pages Part I: 73 891\u2013993, Part II: 74 127\u2014 162","author":"Jonsson B.","year":"1951"},{"key":"CIT0006","volume-title":"Algebraic Logic, pages 293\u2013349, North-Holland, Amsterdam","author":"Kramer R.","year":"1991"},{"key":"CIT0007","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF00293447","volume":"18","author":"Kuhn S.","year":"1989","journal-title":"Journal of Philosophical Logic"},{"key":"CIT0008","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1090\/S0002-9947-1982-0662049-7","volume":"272","author":"Maddux R.","year":"1982","journal-title":"Trans. Amer. Math. Soc."},{"key":"CIT0009","unstructured":"Marx, M. 1992. \u201cAxiomatizing and deciding relativized relation algebras. Preprint CCSOM University of Amsterdam\u201d."},{"key":"CIT0010","volume-title":"Applied Logic Conference: Logic at Work","author":"Mikul\u00e0s S.","year":"1992"},{"key":"CIT0011","unstructured":"Mikul\u00e0s, S. 1992. \u201cThe completeness of the lambek calculus with respect to relational semantics. ITLI-Prepublication series, University of Amsterdam\u201d."},{"key":"CIT0012","volume-title":"Applied Logic Conference: Logic at Work","author":"Marx M.","year":"1992"},{"issue":"2","key":"CIT0013","doi-asserted-by":"crossref","first-page":"501","DOI":"10.2307\/2045968","volume":"100","author":"N\u00e9meti I.","year":"1987","journal-title":"Proc. Amer. Math. Soc."},{"key":"CIT0014","doi-asserted-by":"crossref","DOI":"10.1007\/BF00370684","volume":"50","author":"N\u00e9meti I.","year":"1991","journal-title":"Studia Logica"},{"key":"CIT0015","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0304-3975(84)90010-0","volume":"29","author":"Orlowska E.","year":"1984","journal-title":"Theoretical Computer Science"},{"key":"CIT0016","volume-title":"Studia Logica, XLIV:27\u201339","author":"Orlowska E.","year":"1985"},{"key":"CIT0017","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0306-4379(81)90023-5","volume":"6","author":"Pawlak Z.","year":"1985","journal-title":"Information Systems"},{"key":"CIT0018","volume-title":"Resource Logics: Proof-theoretical investigations. PhD thesis, University of Amsterdam","author":"Roorda D.","year":"1991"},{"key":"CIT0019","volume-title":"Third Scandinavian Logic Symposium, pages 110\u2013143","author":"Sahlqvist H.","year":"1975"},{"key":"CIT0020","volume":"13","author":"Segerberg K.","year":"1971","journal-title":"Folosofiska Studier"},{"key":"CIT0021","unstructured":"Vakarelov, D. 1990. \u201cArrow logics. Manuscript, September\u201d."},{"key":"CIT0022","unstructured":"Vakarelov, D. 1991. \u201cModal logics for reasoning about arrows. Lecture notes of a talk at the 9-th Int. Congress of Logic Methodology and Philosophy of Sciences, Uppsala and at Banach Semester'91, Warsaw\u201d."},{"key":"CIT0023","volume-title":"9-th Int. Congress of Logic Methodology and Philosophy of Sciences, Section 5\u2014Philosophical Logic, Uppsala","author":"Vakarelov D.","year":"1991"},{"issue":"1","key":"CIT0024","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1080\/11663081.1991.10510769","volume":"1","author":"Vakarelov D.","year":"1991","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"CIT0025","unstructured":"Vakarelov, D. 1992. \u201cArrow logics with cylindric operators. Abstract of a paper presented at the 1992 European Summer Meeting of the ASL. To appear in JSL.\u201d."},{"key":"CIT0026","volume-title":"Logics in AI, European Workshop JELIA'92, number 633 in LNAI, pages 1\u201324, Berlin, Germany","author":"Vakarelov D.","year":"1992"},{"key":"CIT0027","volume-title":"Modal Logic and Classical Logic. Bibliopolis","author":"K J. F.A.","year":"1986"},{"key":"CIT0028","unstructured":"van Benthem, J. F.A.K. 1989. \u201cModal logic and relational algebra. To appear in the proceedings of Malcev Conference On Algebra, Novosibirsk\u201d."},{"key":"CIT0029","volume-title":"Studies in Logic","author":"van Benthem J. F.A.K.","year":"1991"},{"key":"CIT0030","unstructured":"van Benthem, J. F.A.K. 1992. \u201cA note on dynamic arrow logic. ILLC Prepublication Series for Logic, Semantics and Philosophy of Language, LP-92-11, University of Amsterdam\u201d."},{"key":"CIT0031","unstructured":"Venema, Y. 1989. \u201cTwo dimensional-modal logic for relational algebras and temporal logic of intervals. ITLI-Prepublication series LP-89- 03, University of Amsterdam\u201d."},{"key":"CIT0032","unstructured":"Venema, Y. 1991. \u201cCylindric modal logic. ITLI-Prepublication series LP- 91\u201301, University of Amsterdam\u201d."},{"key":"CIT0033","volume-title":"Many-dimensional Modal Logic. PhD thesis, Fac. Math, and Comp. Sc., University of Amsterdam","author":"Venema Y.","year":"1991"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T15:27:13Z","timestamp":1497972433000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1996.10510890"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["10.1080\/11663081.1996.10510890"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1996.10510890","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}