{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:10:02Z","timestamp":1763467802337,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664925"},{"type":"electronic","value":"9783540482420"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48242-3_17","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:28:09Z","timestamp":1184603289000},"page":"273-285","source":"Crossref","is-referenced-by-count":14,"title":["Beth Definability for the Guarded Fragment"],"prefix":"10.1007","author":[{"given":"Eva","family":"Hoogland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maarten","family":"Marx","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Otto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"17_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H. Andr\u00e9ka","year":"1998","unstructured":"H. Andr\u00e9ka, J. van Benthem, and I. N\u00e9meti. Modal logics and bounded fragments of predicate logic. Journal of Philosophical Logic, 27(3):217\u2013274, 1998.","journal-title":"Journal of Philosophical Logic"},{"key":"17_CR2","series-title":"Studies in fuziness and soft computing","first-page":"39","volume-title":"Memorial Volume for Elena Rasiowa","author":"J. Benthem van","year":"1999","unstructured":"J. van Benthem. Modal foundations for predicate logic. In E. Orlowska, editor, Memorial Volume for Elena Rasiowa, Studies in fuziness and soft computing, pages 39\u201355. Physica-Verlag, Heidelberg, New York, 1999."},{"key":"17_CR3","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1016\/S1385-7258(53)50042-3","volume":"15","author":"E. W. Beth","year":"1953","unstructured":"E. W. Beth. On Padoa\u2019s method in the theory of definition. Nederl. Akad. Wetensch. Proc. Ser. A. 56 = Indagationes Math., 15:330\u2013339, 1953.","journal-title":"Nederl. Akad. Wetensch. Proc. Ser. A. 56 = Indagationes Math."},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"53","DOI":"10.2307\/421196","volume":"3","author":"E. Gr\u00e4del","year":"1997","unstructured":"E. Gr\u00e4del, P. Kolaitis, and M. Vardi. On the decision problem for two-variable first order logics. Bulletin of Symbolic Logic, 3:53\u201369, 1997.","journal-title":"Bulletin of Symbolic Logic"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"E. Gr\u00e4del and M. Otto. On logics with two variables. Theoretical Computer Science, 1999. to appear.","DOI":"10.1016\/S0304-3975(98)00308-9"},{"key":"17_CR6","unstructured":"E. Gr\u00e4del. On the restraining power of guards. Technical report, RWTH Aachen, Lehrgebiet Mathematische Grundlagen der Informatik, 1997. To appear in the Journal of Symbolic Logic."},{"key":"17_CR7","unstructured":"E. Gr\u00e4del. Guarded fragments of first-order logic: a perspective for new description logics? In Proc. of 1998 Int. Workshop on Description Logics DL\u2019 98, Trento, CEUR Electronic Workshop Proceedings, 1998. Extended abstract, available at http:\/\/sunsite.informatik.nrth-aachen.de\/Publications\/CEUR-WS\/Vol-11 ."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"E. Gr\u00e4del and I Walukiewicz. Guarded fixed point logic. In Proc. 14th Symp. on Logic in Computer Science, LICS\u201999, pages 45\u201354, 1999.","DOI":"10.1109\/LICS.1999.782585"},{"key":"17_CR9","volume-title":"Generalized quantifiers and finite sets","author":"P. H\u00e1jek","year":"1977","unstructured":"P. H\u00e1jek. Generalized quantifiers and finite sets. Ser. Konfer. No 1 14, Prace Nauk. Inst. Mat. Politech. Wroclaw, 1977."},{"key":"17_CR10","unstructured":"E. Hoogland and M. Marx. Interpolation in guarded fragments. Technical report, Institute for Logic, Language and Computation, University of Amsterdam, 1999."},{"key":"17_CR11","first-page":"111","volume":"51","author":"I. Hodkinson","year":"1993","unstructured":"I. Hodkinson. Finite variable logics. Bull. Europ. Assoc. Theor. Comp. Sci., 51:111\u2013140, 1993. Addendum in vol. 52. Also available at http:\/\/www.doc.ic.ac.uk\/~imh\/papers\/yuri.html .","journal-title":"Bull. Europ. Assoc. Theor. Comp. Sci."},{"key":"17_CR12","unstructured":"Maarten Marx. Algebraic Relativization and Arrow Logic. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam, 1995."},{"key":"17_CR13","unstructured":"M. Marx. Interpolation in (fibered) modal logic. In A. Haeberer, editor, Proc. of AMAST 1998, Amazonia-Manaus, Brazil, 4\u20138 January 1999, 1999."},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"M. Marx and Y. Venema. Multi-dimensional Modal Logic. Applied Logic Series. Kluwer Academic Publishers, 1997.","DOI":"10.1007\/978-94-011-5694-3"},{"issue":"3","key":"17_CR15","doi-asserted-by":"publisher","first-page":"689","DOI":"10.2307\/2274323","volume":"50","author":"I. N\u00e9meti","year":"1985","unstructured":"I. N\u00e9meti. Cylindric relativised set algebras have strong amalgamation. Journal of Symbolic Logic, 50(3):689\u2013700, 1985.","journal-title":"Journal of Symbolic Logic"},{"key":"17_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BFb0043086","volume-title":"Algebraic logic and universal algebra in computer science","author":"I. Sain","year":"1990","unstructured":"I. Sain. Beth\u2019s and Craig\u2019s properties via epimorphisms and amalgamation in algebraic logic. In C. Bergman, R. Maddux, and D. Pigozzi, editors, Algebraic logic and universal algebra in computer science, volume 24 of Lecture Notes in Computer Science, pages 209\u2013226. Springer Verlag, Berlin, Heidelberg, New York, 1990."},{"key":"17_CR17","unstructured":"K. Schild. A correspondence theory for terminological logics. In Proceedings of the 12th IJCAI, pages 466\u2013471, 1991."},{"key":"17_CR18","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1090\/dimacs\/031\/05","volume":"31","author":"M. Vardi","year":"1998","unstructured":"M. Vardi. Why is modal logic so robustly decidable? In Descriptive Complexity and Finite Models: Proceedings of a DIMACS Workshop, volume 31 of Series in Discrete Mathematics and Theoretical Computer Science, pages 149\u2013184. American Mathematical Society, 1998.","journal-title":"Descriptive Complexity and Finite Models: Proceedings of a DIMACS Workshop"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming and Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48242-3_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T12:00:27Z","timestamp":1737288027000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48242-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664925","9783540482420"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-48242-3_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}