{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T12:10:04Z","timestamp":1752149404123,"version":"3.41.2"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Philosophical Logic"],"published-print":{"date-parts":[[2003,8]]},"DOI":"10.1023\/a:1024847106313","type":"journal-article","created":{"date-parts":[[2003,9,16]],"date-time":"2003-09-16T15:30:35Z","timestamp":1063726235000},"page":"343-355","source":"Crossref","is-referenced-by-count":1,"title":["Squares in Fork Arrow Logic"],"prefix":"10.1007","volume":"32","author":[{"given":"Renata P.","family":"de Freitas","sequence":"first","affiliation":[]},{"given":"Jorge P.","family":"Viana","sequence":"additional","affiliation":[]},{"given":"Mario R. F.","family":"Benevides","sequence":"additional","affiliation":[]},{"given":"Sheila R. M.","family":"Veloso","sequence":"additional","affiliation":[]},{"given":"Paulo A. S.","family":"Veloso","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5094310_CR1","volume-title":"Proceedings of IV WMF: Workshop on Formal Methods","author":"M. R. F. Benevides","year":"2001","unstructured":"Benevides, M. R. F., de Freitas, R. P., Veloso, P. A. S., Veloso, S. R. M. and Viana, J. P.: Fork arrow logic: Axiomatization and completeness, in Proceedings of IV WMF: Workshop on Formal Methods, IME, Rio de Janeiro, 2001."},{"key":"5094310_CR2","unstructured":"Benevides, M. R. F. and Veloso, P. A. S.: Axiomatization and completeness for fork modal logic, in XII Encontro Brasileiro de L\u00f3gica, 1999, pp. 87\u201394."},{"key":"5094310_CR3","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/BF01196091","volume":"30","author":"C. Brink","year":"1993","unstructured":"Brink, C.: Power structures, Algebra Universalis\n30 (1993), 177\u2013216.","journal-title":"Algebra Universalis"},{"key":"5094310_CR4","first-page":"1","volume":"32","author":"M. F. Frias","year":"1997","unstructured":"Frias, M. F., Baum, G. A. and Haeberer, A. M.: Fork algebras in algebra, logic and computer science, Fund. Inform.\n32 (1997), 1\u201325.","journal-title":"Fund. Inform."},{"key":"5094310_CR5","first-page":"64","volume":"24","author":"M. F. Frias","year":"1995","unstructured":"Frias, M. F., Baum, G. A., Haeberer, A. M. and Veloso, P. A. S.: Fork algebras are representable, Bull. Section of Logic\n24 (1995), 64\u201375.","journal-title":"Bull. Section of Logic"},{"key":"5094310_CR6","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1093\/jigpal\/5.3.1","volume":"5","author":"M. F. Frias","year":"1997","unstructured":"Frias, M. F., Haeberer, A. M. and Veloso, P. A. S.: A finite axiomatization for fork algebras, Logic J. IGPL\n5 (1997), 311\u2013319.","journal-title":"Logic J. IGPL"},{"key":"5094310_CR7","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic","author":"D. Harel","year":"1984","unstructured":"Harel, D.: Dynamic logic, in D. M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 2, Reidel, Dordrecht, 1984, pp. 497\u2013604."},{"key":"5094310_CR8","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/978-3-7091-6510-2_4","volume-title":"Relational Methods in Computer Science","author":"A. M. Haeberer","year":"1997","unstructured":"Haeberer, A. M., Frias, M. F., Baum, G. A. and Veloso, P. A. S.: Fork algebras, in W. Kahl, C. Brink and G. Schmidt (eds.), Relational Methods in Computer Science, Springer, Berlin, 1997, pp. 54\u201369."},{"key":"5094310_CR9","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B. and Tarski, A.: Boolean algebras with operators, part I, Amer. J. Math.\n73 (1951), 891\u2013939.","journal-title":"Amer. J. Math."},{"key":"5094310_CR10","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B. J\u00f3nsson","year":"1952","unstructured":"J\u00f3nsson, B. and Tarski, A.: Boolean algebras with operators, part II, Amer. J. Math.\n74 (1952), 127\u2013162.","journal-title":"Amer. J. Math."},{"key":"5094310_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S. Kripke","year":"1959","unstructured":"Kripke, S.: A completeness theorem in modal logic, J. Symbolic Logic\n24 (1959), 1\u201314.","journal-title":"J. Symbolic Logic"},{"key":"5094310_CR12","doi-asserted-by":"crossref","first-page":"46","DOI":"10.2307\/2270619","volume":"31","author":"E. J. Lemmon","year":"1966","unstructured":"Lemmon, E. J.: Algebraic semantics for modal logic I, J. Symbolic Logic\n31 (1966), 46\u201365.","journal-title":"J. Symbolic Logic"},{"key":"5094310_CR13","doi-asserted-by":"crossref","first-page":"191","DOI":"10.2307\/2269810","volume":"31","author":"E. J. Lemmon","year":"1966","unstructured":"Lemmon, E. J.: Algebraic semantics for modal logic II, J. Symbolic Logic\n31 (1966), 191\u2013218.","journal-title":"J. Symbolic Logic"},{"key":"5094310_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(95)00082-8","volume":"160","author":"R. D. Maddux","year":"1996","unstructured":"Maddux, R. D.: Relation-algebraic semantics, Theor. Comput. Sci.\n160 (1996), 1\u201385.","journal-title":"Theor. Comput. Sci."},{"volume-title":"Arrow Logic and Multi-Modal Logic","year":"1996","key":"5094310_CR15","unstructured":"Marx, M., P\u00f3los, L. and Masuch, M. (eds.): Arrow Logic and Multi-Modal Logic, CSLI Publications, Stanford, 1996."},{"key":"5094310_CR16","series-title":"Appl. Logic Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5694-3","volume-title":"Multi-Dimensional Modal Logic","author":"M. Marx","year":"1997","unstructured":"Marx, M. and Venema, Y.: Multi-Dimensional Modal Logic, Appl. Logic Series, Kluwer Academic Publishers, Dordrecht, 1997."},{"key":"5094310_CR17","doi-asserted-by":"crossref","first-page":"331","DOI":"10.2307\/2270900","volume":"34","author":"J. D. Monk","year":"1969","unstructured":"Monk, J. D.: Nonfinitizability of classes of representable cylindric algebras, J. Symbolic Logic\n34 (1969), 331\u2013343.","journal-title":"J. Symbolic Logic"},{"key":"5094310_CR18","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1007\/BF00370684","volume":"50","author":"I. N\u00e9meti","year":"1991","unstructured":"N\u00e9meti, I.: Algebrization of quantifier logics, an introductory overview, Studia Logica\n50 (1991), 458\u2013569.","journal-title":"Studia Logica"},{"key":"5094310_CR19","volume-title":"Proceedings of the Third Scandinavian Logic Symposium","author":"H. Sahlqvist","year":"1975","unstructured":"Sahlqvist, H.: Completeness and correspondence in first and second-order semantics for modal logic, in S. Kanger (ed.), Proceedings of the Third Scandinavian Logic Symposium, North-Holland, Amsterdam, 1975."},{"key":"5094310_CR20","doi-asserted-by":"crossref","first-page":"992","DOI":"10.2307\/2274758","volume":"54","author":"G. Sambin","year":"1989","unstructured":"Sambin, G. and Vaccaro, V.: A new proof of Sahlqvist's theorem on modal definability and completeness, J. Symbolic Logic\n54 (1989), 992\u2013999.","journal-title":"J. Symbolic Logic"},{"key":"5094310_CR21","series-title":"Colloquium Publications","doi-asserted-by":"crossref","DOI":"10.1090\/coll\/041","volume-title":"A Formalization of Set Theory without Variables","author":"A. Tarski","year":"1987","unstructured":"Tarski, A. and Givant, S. R.: A Formalization of Set Theory without Variables, Colloquium Publications 41, Amer. Math. Soc., Providence, RI, 1987."},{"key":"5094310_CR22","volume-title":"Handbook of Philosophical Logic","author":"J. van Benthem","year":"1984","unstructured":"van Benthem, J.: Correspondence theory, in D. M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 2, D. Reidel, Dordrecht, 1984."},{"key":"5094310_CR23","volume-title":"Pratica: Proofs, Types, and Categories","author":"P. A. S. Veloso","year":"1999","unstructured":"Veloso, P. A. S.: On fork relations and programming, in E. H. Haeusler and L. C. Pereira (eds.), Pratica: Proofs, Types, and Categories, PUC-Rio, Rio de Janeiro, 1999."},{"key":"5094310_CR24","volume-title":"Many-dimensional arrow logic","author":"Y. Venema","year":"1991","unstructured":"Venema, Y.: Many-dimensional arrow logic, Ph.D. Thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam, Amsterdam, 1991."},{"key":"5094310_CR25","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF00248637","volume":"21","author":"Y. Venema","year":"1992","unstructured":"Venema, Y.: A note on the tense logic of dominoes, J. Philos. Logic\n21 (1992), 173\u2013182.","journal-title":"J. Philos. Logic"},{"key":"5094310_CR26","unstructured":"Venema, Y.: Crash course in arrow logic, in [15], pp. 3\u201334."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1024847106313.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1024847106313\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1023\/A:1024847106313","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1024847106313.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,10]],"date-time":"2025-07-10T11:33:53Z","timestamp":1752147233000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1024847106313"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2003,8]]}},"alternative-id":["5094310"],"URL":"https:\/\/doi.org\/10.1023\/a:1024847106313","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}