{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:48:01Z","timestamp":1725490081442},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540003151"},{"type":"electronic","value":"9783540362807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36280-0_5","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T03:16:50Z","timestamp":1187234210000},"page":"66-80","source":"Crossref","is-referenced-by-count":3,"title":["Interpretability of First\u2014Order Dynamic Logic in a Relational Calculus"],"prefix":"10.1007","author":[{"given":"Marcelo F.","family":"Frias","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel A.","family":"Baum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas S. E.","family":"Maibaum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Burris, S. and Sankappanavar, H.P., A Course in Universal Algebra, Graduate Texts in Mathematics 78, Springer-Verlag, 1981.","key":"5_CR1","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"5_CR2","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 Algebra, Logic and Computer Science, Fundamenta Informaticae Vol. 32 (1997), pp. 1\u201325.","journal-title":"Fundamenta Informaticae"},{"key":"5_CR3","doi-asserted-by":"publisher","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 Journal of the IGPL, Vol. 5, No. 3, 311\u2013319, 1997.","journal-title":"Logic Journal of the IGPL"},{"doi-asserted-by":"crossref","unstructured":"Frias, M. F. and Orlowska E., Equational Reasoning in Non-Classical Logics, Journal of Applied Non Classical Logic, Vol. 8, No. 1\u20132, 1998.","key":"5_CR4","DOI":"10.1080\/11663081.1998.10510932"},{"issue":"1\u20132","key":"5_CR5","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/S0304-3975(96)00299-X","volume":"188","author":"V. Gyuris","year":"1997","unstructured":"Gyuris, V., A Short Proof for Representability of Fork Algebras, Theoretical Computer Science, vol. 188, 1\u20132, pp. 211\u2013220, 1997.","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D. and Tiuryn, J., Dynamic Logic, MIT Press, 2000.","key":"5_CR6","DOI":"10.7551\/mitpress\/2516.001.0001"},{"unstructured":"Henkin, L., Monk, D. and Tarski, A., Cylindric Algebras Part I, Studies in Logic and the Foundations of Mathematics, vol.64, North-Holland, 1971.","key":"5_CR7"},{"unstructured":"Henkin, L., Monk, D. and Tarski, A., Cylindric Algebras Part II, Studies in Logic and the Foundations of Mathematics, vol.115, North-Holland, 1985.","key":"5_CR8"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"707","DOI":"10.2307\/1969375","volume":"51","author":"R. Lyndon","year":"1950","unstructured":"Lyndon, R., The Representation of Relational Algebras, Annals of Mathematics (Series 2) vol.51 (1950), 707\u2013729.","journal-title":"Annals of Mathematics"},{"key":"5_CR10","first-page":"iii","volume-title":"Topics in Relation Algebras","author":"R.D. Maddux","year":"1978","unstructured":"Maddux, R.D., Topics in Relation Algebras, Doctoral Dissertation, Univ. California, Berkeley, 1978, pp. iii+241."},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1002\/malq.19890350405","volume":"35","author":"R.D. Maddux","year":"1989","unstructured":"Maddux, R.D., Finitary Algebraic Logic, Zeitschr. f. math. Logik und Grundlagen d. Math. vol. 35, pp. 321\u2013332, 1989.","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math."},{"issue":"1","key":"5_CR12","doi-asserted-by":"publisher","first-page":"83","DOI":"10.2307\/2001878","volume":"328","author":"R.D. Maddux","year":"1991","unstructured":"Maddux, R.D., Pair-Dense Relation Algebras, Transactions of the A.M.S., vol. 328, No. 1, pp. 83\u2013131, 1991.","journal-title":"Transactions of the A.M.S."},{"key":"5_CR13","volume-title":"Relational Methods in Computer Science","author":"R.D. Maddux","year":"1997","unstructured":"Maddux, R.D., Relation Algebras, Chapter 2 of Relational Methods in Computer Science, Springer Wien-New York, 1997."},{"doi-asserted-by":"crossref","unstructured":"Orlowska, E., Relational proof systems for modal logics. In: Wansing, H. (ed) Proof Theory of Modal Logics. Kluwer, pp. 55\u201377, 1996.","key":"5_CR14","DOI":"10.1007\/978-94-017-2798-3_5"},{"key":"5_CR15","volume-title":"The Mathematics of Metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"Rasiowa, H. and Sikorski, R. The Mathematics of Metamathematics. Polish Science Publishers, Warsaw, 1963."},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"Tarski, A., On the Calculus of Relations, Journal of Symbolic Logic, Vol. 6, 73\u201389, 1941.","journal-title":"Journal of Symbolic Logic"},{"doi-asserted-by":"crossref","unstructured":"Tarski, A. and Givant, S., A Formalization of Set Theory without Variables, A.M.S. Coll. Pub., vol. 41, 1987.","key":"5_CR17","DOI":"10.1090\/coll\/041"}],"container-title":["Lecture Notes in Computer Science","Relational Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36280-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T18:31:57Z","timestamp":1587839517000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36280-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540003151","9783540362807"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-36280-0_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}