{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T15:42:34Z","timestamp":1649173354160},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2007,2,2]],"date-time":"2007-02-02T00:00:00Z","timestamp":1170374400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1007\/s10992-006-9043-x","type":"journal-article","created":{"date-parts":[[2007,2,3]],"date-time":"2007-02-03T03:12:18Z","timestamp":1170472338000},"page":"489-509","source":"Crossref","is-referenced-by-count":0,"title":["On Fork Arrow Logic and its Expressive Power"],"prefix":"10.1007","volume":"36","author":[{"given":"Paulo A. S.","family":"Veloso","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Renata P.","family":"de Freitas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petrucio","family":"Viana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Benevides","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sheila R. M.","family":"Veloso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,2,2]]},"reference":[{"key":"9043_CR1","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-009-6259-0_4","volume-title":"Handbook of Philosophical Logic, vol. 2","author":"J. Benthem van","year":"1984","unstructured":"van Benthem, J.: Correspondence theory, in D. M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. 2, Reidel, Dordrecht, 1984, pp. 167\u2013248."},{"key":"9043_CR2","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: Language in Action: Categories, Lambdas and Dynamic Logic, North-Holland, Amsterdam, 1991.","DOI":"10.1007\/BF00250539"},{"key":"9043_CR3","volume-title":"Logic and Information Flow","author":"J. Benthem van","year":"1994","unstructured":"van Benthem, J.: A note on dynamic arrow logic, in J. van Eijck and A. Visser (eds.), Logic and Information Flow, MIT Press, Cambridge, 1994."},{"key":"9043_CR4","unstructured":"Benevides, M. R. F. and Veloso, P.A.S.: Axiomatization and completeness for fork modal logic, in XII Encontro Brasileiro de L\u00f3gica, Itatiaia, RJ, Brazil, 1999, pp. 87\u201394."},{"key":"9043_CR5","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 30 (1993), 177\u2013216.","journal-title":"Algebra Universalis"},{"key":"9043_CR6","first-page":"341","volume":"1","author":"L. H. Chin","year":"1951","unstructured":"Chin, L. H. and Tarski, A.: Distributive and modular laws in the arithmetic of relation algebras, University of California Publications in Mathematics (N.S.) 1 (1951), 341\u2013384.","journal-title":"University of California Publications in Mathematics (N.S.)"},{"key":"9043_CR7","volume-title":"Mathematical Logic","author":"H.-D. Ebbinghaus","year":"1984","unstructured":"Ebbinghaus, H.-D., Flum, J., and Thomas, W.: Mathematical Logic, Springer, Berlin Heidelberg New York, 1984."},{"key":"9043_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1997-32101","volume":"32","author":"M. F. Frias","year":"1997","unstructured":"Frias, M. F., Baum, G. A., and Haeberer, A. M.: Fork algebras in algebras, logic and computer science, Fundamenta Informatic\u00e6 32 (1997), 1\u201325.","journal-title":"Fundamenta Informatic\u00e6"},{"key":"9043_CR9","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1023\/A:1024847106313","volume":"32","author":"R. P. Freitas de","year":"2003","unstructured":"de Freitas, R. P., Viana, J. P., Veloso, P. A. S., Veloso, S. R. M., and Benevides, M. R. F.: Squares in fork arrow logic, Journal of Philosophical Logic 32 (2003), 343\u2013355.","journal-title":"Journal of Philosophical Logic"},{"key":"9043_CR10","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 C. Brink, W. Kahl, and G. Schmidt (eds.), Relational Methods in Computer Science, Springer, Berlin Heidelberg New York, 1997, pp. 54\u201369."},{"key":"9043_CR11","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF02483728","volume":"15","author":"B. J\u00f3nsson","year":"1982","unstructured":"J\u00f3nsson, B.: Varieties of relation algebras, Algebra Universalis 15 (1982), 273\u2013298.","journal-title":"Algebra Universalis"},{"key":"9043_CR12","unstructured":"J\u00f3nsson, B. and Tarski, A.: Boolean algebras with operators, parts I and II, American Journal of Mathematics 73 (1951), 891\u2013939 and 74 (1952), 127\u2013162."},{"key":"9043_CR13","doi-asserted-by":"crossref","unstructured":"Kripke, S.: A completeness theorem in modal logic, The Journal of Symbolic Logic, 24 (1959), 1\u201314.","DOI":"10.2307\/2964568"},{"key":"9043_CR14","doi-asserted-by":"crossref","unstructured":"Lemmon, E. J.: Algebraic semantics for modal logic I and II, The Journal of Symbolic Logic 31 (1966), 46\u201365 and 191\u2013218.","DOI":"10.2307\/2269810"},{"key":"9043_CR15","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, Theoretical Computer Science 160 (1996), 1\u201385.","journal-title":"Theoretical Computer Science"},{"key":"9043_CR16","unstructured":"Marx, M.: Relativization in Arrow Logic, Doctoral dissertation, Institute for Logic, Language and Computation, Universiteit van Amsterdam, 1995."},{"key":"9043_CR17","volume-title":"Arrow Logic and Multi-Modal Logic","author":"M. Marx","year":"1996","unstructured":"Marx, M., P\u00f3los, L., and Masuch, M.: Arrow Logic and Multi-Modal Logic, CSLI Publications, Stanford, CA, 1996."},{"key":"9043_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5694-3","volume-title":"Multi-dimensional Modal Logic, Applied Logic Series, vol. 4","author":"M. Marx","year":"1997","unstructured":"Marx, M. and Venema, Y.: Multi-dimensional Modal Logic, Applied Logic Series, vol. 4, Kluwer, Dordrecht, 1997."},{"issue":"3\/4","key":"9043_CR19","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1007\/BF00370684","volume":"50","author":"I. Nem\u00e9ti","year":"1991","unstructured":"Nem\u00e9ti, I.: Algebrizations of quantifier logics, an introductory overview, Studia Logica 50 (3\/4) (1991), 485\u2013569.","journal-title":"Studia Logica"},{"key":"9043_CR20","doi-asserted-by":"crossref","DOI":"10.1090\/coll\/041","volume-title":"A Formalization of Set Theory Without Variables, American Mathematical Society Colloquium Publications, vol. 41","author":"A. Tarski","year":"1987","unstructured":"Tarski, A. and Givant, S.: A Formalization of Set Theory Without Variables, American Mathematical Society Colloquium Publications, vol. 41, American Mathematical Society, Providence, RI, 1987."},{"key":"9043_CR21","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1090\/conm\/235\/03473","volume-title":"Advances in Contemporary Logic and Computer Science","author":"P. A. S. Veloso","year":"1999","unstructured":"Veloso, P. A. S.: Some connections between logic and computer science, in W. Carnielli and I. M. L. d\u2019Ottaviano (eds.), Advances in Contemporary Logic and Computer Science, AMS, Providence, RI, 1999, pp. 187\u2013260."},{"key":"9043_CR22","unstructured":"Venema, Y.: Many-Dimensional Modal Logic, Doctoral dissertation, Institute for Logic, Language and Computation, Universiteit van Amsterdam, 1991."},{"key":"9043_CR23","unstructured":"Venema, Y.: A crash course in arrow logic, in M. Marx, M. Masuch and L. P\u00f3los, (eds.), Arrow Logic and Multi-Modal Logic, CSLI Publications, Stanford, CA, pp. 3\u201334."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-006-9043-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-006-9043-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-006-9043-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,19]],"date-time":"2020-04-19T23:34:09Z","timestamp":1587339249000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-006-9043-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,2,2]]},"references-count":23,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2007,10]]}},"alternative-id":["9043"],"URL":"https:\/\/doi.org\/10.1007\/s10992-006-9043-x","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,2,2]]}}}