{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:59Z","timestamp":1761611099145,"version":"3.43.0"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2002,3,1]],"date-time":"2002-03-01T00:00:00Z","timestamp":1014940800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,3,1]],"date-time":"2002-03-01T00:00:00Z","timestamp":1014940800000},"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":["Studia Logica"],"published-print":{"date-parts":[[2002,3]]},"DOI":"10.1023\/a:1015178417181","type":"journal-article","created":{"date-parts":[[2002,12,28]],"date-time":"2002-12-28T17:32:56Z","timestamp":1041096776000},"page":"205-240","source":"Crossref","is-referenced-by-count":30,"title":["Loosely Guarded Fragment of First-Order Logic has the Finite Model Property"],"prefix":"10.1007","volume":"70","author":[{"given":"Ian","family":"Hodkinson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"407883_CR1","doi-asserted-by":"crossref","first-page":"243","DOI":"10.2307\/2586762","volume":"64","author":"H. Andr\u00e9ka","year":"1999","unstructured":"H. Andr\u00e9ka, I. Hodkinson, and I. N\u00e9meti, 'Finite algebras of relations are representable on finite sets', J. Symbolic Logic 64 (1999), 243-267.","journal-title":"J. Symbolic Logic"},{"key":"407883_CR2","doi-asserted-by":"crossref","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', J. Philosophical Logic 27 (1998), 217-274.","journal-title":"J. Philosophical Logic"},{"key":"407883_CR3","isbn-type":"print","volume-title":"JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday","author":"C. Areces","year":"1999","unstructured":"C. Areces, C. Monz, H. de Nivelle, and M. de Rijke, 'The guarded fragment: Ins and outs', in JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday, J. Gerbrandy, M. Marx, M. de Rijke, and Y. Venema (eds.), Vossiuspers, Amsterdam University Press, Amsterdam, 1999, CD-ROM, ISBN 9-056-29104-1.","ISBN":"https:\/\/id.crossref.org\/isbn\/9056291041"},{"key":"407883_CR4","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/978-94-009-8384-7_4","volume-title":"Aspects of Philosophical Logic","author":"D. M. Gabbay","year":"1981","unstructured":"D. M. Gabbay, 'Expressive functional completeness in tense logic (preliminary report)', in Aspects of Philosophical Logic, U. Monnich (ed.), Reidel, Dordrecht, 1981, pp. 91-117."},{"key":"407883_CR5","doi-asserted-by":"crossref","unstructured":"E. Gr\u00e4del, 'Decision procedures for guarded logics', in Automated Deduction \u2014 CADE16. Proceedings of 16th International Conference on Automated Deduction, Trento, 1999, LNCS, vol. 1632, Springer-Verlag, 1999, pp. 31-51.","DOI":"10.1007\/3-540-48660-7_3"},{"key":"407883_CR6","doi-asserted-by":"crossref","first-page":"1719","DOI":"10.2307\/2586808","volume":"64","author":"E. Gr\u00e4del","year":"1999","unstructured":"_____, 'On the restraining power of guards', J. Symbolic Logic 64 (1999), 1719-1742.","journal-title":"J. Symbolic Logic"},{"key":"407883_CR7","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0168-0072(95)00072-0","volume":"82","author":"M. Grohe","year":"1996","unstructured":"M. Grohe, 'Arity hierarchies', Ann. Pure Appl. Logic 82 (1996), 103-163.","journal-title":"Ann. Pure Appl. Logic"},{"key":"407883_CR8","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF01299742","volume":"15","author":"B. Herwig","year":"1995","unstructured":"B. Herwig, 'Extending partial isomorphisms on finite structures', Combinatorica 15 (1995), 365-371.","journal-title":"Combinatorica"},{"key":"407883_CR9","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BF02764005","volume":"107","author":"B. Herwig","year":"1998","unstructured":"_____, 'Extending partial isomorphisms for the small index property of many \u03c9-categorical structures', Israel J. Math. 107 (1998), 93-124.","journal-title":"Israel J. Math."},{"key":"407883_CR10","doi-asserted-by":"crossref","first-page":"1985","DOI":"10.1090\/S0002-9947-99-02374-0","volume":"352","author":"B. Herwig","year":"2000","unstructured":"B. Herwig and D. Lascar, 'Extending partial isomorphisms and the profinite topology on the free groups', Trans. Amer. Math. Soc. 352 (2000), 1985-2021.","journal-title":"Trans. Amer. Math. Soc."},{"key":"407883_CR11","doi-asserted-by":"crossref","unstructured":"C. Hirsch and S. Tobies, 'A tableau algorithm for the clique guarded fragment', in Advances in Modal Logic 3, F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev (eds.), CSLI, 2001, to appear.","DOI":"10.1142\/9789812776471_0014"},{"key":"407883_CR12","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0168-0072(01)00084-7","volume":"112","author":"R. Hirsch","year":"2001","unstructured":"R. Hirsch and I. Hodkinson, 'Relation algebras from cylindric algebras, I', Ann. Pure Appl. Logic, 112 (2001) 225-266.","journal-title":"Ann. Pure Appl. Logic"},{"key":"407883_CR13","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/S0168-0072(99)00022-6","volume":"101","author":"R. Hirsch","year":"2000","unstructured":"_____, 'Relation algebras with n-dimensional relational bases', Ann. Pure Appl. Logic 101 (2000), 227-274.","journal-title":"Ann. Pure Appl. Logic"},{"key":"407883_CR14","unstructured":"_____, 'Relation algebras by games', North-Holland, 2002, to appear."},{"key":"407883_CR15","series-title":"Studies in Fuzziness and Soft Computing","volume-title":"Logic at Work","author":"R. Hirsch","year":"1998","unstructured":"R. Hirsch, I. Hodkinson, M. Marx, Sz. Mikul\u00e1s, and M. Reynolds, 'Mosaics and step-by-step', in Logic at Work, E. Or\u0142owska (ed.), Studies in Fuzziness and Soft Computing, vol. 24, Physica-Verlag, Heidelberg\/New York, 1998, Appendix to A Modal Logic of Relations by Y. Venema and M. Marx, pp. 158\u2013167."},{"key":"407883_CR16","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0168-0072(00)00018-X","volume":"106","author":"I. Hodkinson","year":"2000","unstructured":"I. Hodkinson, F. Wolter, and M. Zakharyaschev, 'Decidable fragments of first-order temporal logics', Ann. Pure Appl. Logic 106 (2000), 85-134.","journal-title":"Ann. Pure Appl. Logic"},{"key":"407883_CR17","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/BF01305233","volume":"12","author":"E. Hrushovski","year":"1992","unstructured":"E. Hrushovski, 'Extending partial isomorphisms of graphs', Combinatorica 12 (1992), 411-416.","journal-title":"Combinatorica"},{"key":"407883_CR18","volume-title":"Tense logic and the theory of linear order","author":"J. A. W. Kamp","year":"1968","unstructured":"J. A. W. Kamp, 'Tense logic and the theory of linear order', Ph.D. thesis, University of California, Los Angeles, 1968."},{"key":"407883_CR19","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1090\/S0002-9947-1982-0662049-7","volume":"272","author":"R. Maddux","year":"1982","unstructured":"R. Maddux, 'Some varieties containing relation algebras', Trans. Amer. Math. Soc. 272 (1982), 501-526.","journal-title":"Trans. Amer. Math. Soc."},{"key":"407883_CR20","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0168-0072(83)90055-6","volume":"25","author":"R. Maddux","year":"1983","unstructured":"_____, 'A sequent calculus for relation algebras', Ann. Pure Appl. Logic 25 (1983), 73-101.","journal-title":"Ann. Pure Appl. Logic"},{"key":"407883_CR21","unstructured":"M. Marx, 'Complexity of modal logics of relations', Tech. Report ML-1997-02, ILLC, University of Amsterdam, 1997. Available at http:\/\/www.wins.uva.nl\/research\/illc\/Publications\/ResearchReports\/ML-1997-02.text.ps.gz"},{"key":"407883_CR22","doi-asserted-by":"crossref","unstructured":"_____, 'Tolerance logic', J. Logic, Language and Information 10 (2001), 353-373.","DOI":"10.1023\/A:1011207512025"},{"key":"407883_CR23","doi-asserted-by":"crossref","first-page":"747","DOI":"10.2307\/2586497","volume":"64","author":"S. Mikul\u00e1s","year":"1999","unstructured":"Sz. Mikul\u00e1s and M. Marx, 'Undecidable relativizations of algebras of relations', J. Symbolic Logic 64 (1999), 747-760.","journal-title":"J. Symbolic Logic"},{"key":"407883_CR24","unstructured":"M. Reynolds, 'The complexity of the temporal logic over the reals', (1999), submitted. Available at http:\/\/www.it.murdoch.edu.au\/~mark\/research\/online\/cort.html"},{"key":"407883_CR25","unstructured":"_____, 'The complexity of the temporal logic with until over general linear time', Journal of Computer and System Sciences, accepted subject to some small revisions being made, 2002. Earlier draft version of manuscript available at http:\/\/www.it.murdoch.edu.au\/ mark\/research\/online\/cult.html"},{"key":"407883_CR26","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1112\/plms\/s3-65.1.121","volume":"64","author":"J. K. Truss","year":"1992","unstructured":"J. K. Truss, 'Generic automorphisms of homogeneous structures', Proc. London Math. Soc. 64 (1992), 121-141.","journal-title":"Proc. London Math. Soc."},{"key":"407883_CR27","unstructured":"J. van Benthem, Modal correspondence theory, Ph.D. thesis, Mathematical Institute, University of Amsterdam, 1976."},{"key":"407883_CR28","series-title":"Studies in Logic, Language and Information","volume-title":"Exploring logical dynamics","author":"J. van Benthem","year":"1996","unstructured":"_____, Exploring logical dynamics, Studies in Logic, Language and Information, CSLI Publications & FoLLI, Stanford, 1996."},{"key":"407883_CR29","unstructured":"_____, 'Dynamic bits and pieces', Technical Report LP-97-01, ILLC, University of Amsterdam, 1997. Available at http:\/\/preprint.beta.uva.nl\/server\/bp_search.show_doc?p_srvr_id=3&p_doc_id=468"},{"key":"407883_CR30","volume-title":"Modal logic and classical logic","author":"J. van Benthem","year":"1985","unstructured":"_____, Modal logic and classical logic, Bibliopolis, Naples, 1985."},{"key":"407883_CR31","series-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1090\/dimacs\/031\/05","volume-title":"Descriptive complexity and finite models","author":"M. Vardi","year":"1997","unstructured":"M. Vardi, 'Why is modal logic so robustly decidable?', in Descriptive complexity and finite models, N. Immerman and Ph. Kolaitis (eds.), DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 31, Amer. Math. Soc, Providence, RI, 1997, pp. 149-184."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015178417181.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1015178417181\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015178417181.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:25:02Z","timestamp":1754630702000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1015178417181"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,3]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,3]]}},"alternative-id":["407883"],"URL":"https:\/\/doi.org\/10.1023\/a:1015178417181","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2002,3]]}}}