{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:47:46Z","timestamp":1762458466184},"publisher-location":"Berlin\/Heidelberg","reference-count":18,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055887X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023418","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:47:37Z","timestamp":1132397257000},"page":"1-24","source":"Crossref","is-referenced-by-count":3,"title":["A modal theory of arrows. Arrow logics I"],"prefix":"10.1007","author":[{"given":"Dimiter","family":"Vakarelov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"Modal Logic and Classical Logic","author":"J.F.A.K. Benthem Van","year":"1986","unstructured":"VAN BENTHEM J.F.A.K., Modal Logic and Classical Logic, Bibliopolis, Napoli, 1986."},{"key":"1_CR2","unstructured":"VAN BENTHEM J.F.A.K. Modal Logic and Relational Algebra, manuscript, May 1989, to appear in the proceedingsof Malcev Conference on Algebra, Novosibirsk, 1997."},{"key":"1_CR3","unstructured":"VAN BENTHEM J.F.A.K. Private letter, June 1990."},{"key":"1_CR4","volume-title":"A companion to Modal Logic","author":"G.E. Hughes","year":"1984","unstructured":"HUGHES G.E. & M.J.CRESSWELL, A companion to Modal Logic, Methuen, London, 1984."},{"key":"1_CR5","first-page":"891","volume":"73","author":"B. Jonsson","year":"1951","unstructured":"JONSSON B., TARSKI A. Boolean algebras with operators. Americ. J. Math., Part I: 73 891\u2013993; Part II: 74,127\u2013162, 1951.","journal-title":"Americ. J. Math., Part I"},{"key":"1_CR6","unstructured":"KRAMER R.L. Relativized Relational Algebras, manuskript, April 1989, to appear in the proc. of the Algebraic Logic Conference, Budapest 1988."},{"key":"1_CR7","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1090\/S0002-9947-1982-0662049-7","volume":"272","author":"R. D. Maddux","year":"1982","unstructured":"MADDUX R. D. Some varieties containing relational algebras, Trans. Amer. Math. Soc. Vol 272(1982), 501\u2013526.","journal-title":"Trans. Amer. Math. Soc."},{"key":"1_CR8","unstructured":"MIKULA\u00c4S Sz., The completeness of the Lambek Calculus with respect to relational semantics, ITLI Prepublications, University of Amsterdam, 1992."},{"key":"1_CR9","unstructured":"N\u00c9METI I. Algebraizations of Quantifier Logics, an introductory overview, manuscript, June1991, to appear in Studia Logica."},{"key":"1_CR10","unstructured":"ROORDA D. Dyadic Modalities and Lambek Calculus, in Colloquium on Modal Logic 1991, ed. M. de Rijke, Amsterdam 1991."},{"key":"1_CR11","volume-title":"PhD thesis","author":"D. Roorda","year":"1991","unstructured":"ROORDA D. Resource Logics, PhD thesis, Fac. Math. and Comp. Sc., University of Amsterdam, Amsterdam 1991."},{"key":"1_CR12","unstructured":"SEGERBERG K. An Essay in Classical Modal Logic, Filosofiska Studier 13, Uppsala, 1971."},{"key":"1_CR13","unstructured":"VAKARELOV D. Arrow logics, Manuscript, September 1997"},{"issue":"1","key":"1_CR14","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1080\/11663081.1991.10510769","volume":"1","author":"D. Vakarelov","year":"1991","unstructured":"VAKARELOV D. Rough Polyadic Modal Logics, Journal of Applied Non-Classical Logics, v. 1, 1(1991), 9\u201335.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"1_CR15","unstructured":"VAKARELOV D. Modal Logics for Reasoning about Arrows: Arrow Logics, in the proc. of 9-th International Congress of Logic Methodology and Philosophy of Sciences, Section 5 \u2014 Philosophical Logic, August 7\u201314, 1991, Uppsala."},{"key":"1_CR16","unstructured":"VAKARELOV D. Arrow logics with cylindric operators, abstract of a paper submeted to the 1992 European Summer Meeting of the ASL."},{"key":"1_CR17","series-title":"ITLI-prepublication series LP-89-03","volume-title":"Two-dimensional Modal Logic for Relational Algebras and Temporal Logic of Intervals","author":"Y. Venema","year":"1989","unstructured":"VENEMA Y. Two-dimensional Modal Logic for Relational Algebras and Temporal Logic of Intervals, ITLI-prepublication series LP-89-03, University of Amsterdam, Amsterdam 1989."},{"key":"1_CR18","unstructured":"VENEMA Y. Many-dimensional Modal Logic, PhD thesis, September 1991, Fac. Math. and Comp. Sc., University of Amsterdam. To appear."}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023418.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:50:03Z","timestamp":1607550603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023418"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055887X"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0023418","relation":{},"subject":[]}}