메뉴 건너뛰기




Volumn 70, Issue 2, 2002, Pages 205-240

Loosely guarded fragment of first-order logic has the finite model property

Author keywords

Clique guarded fragment; Finite structures; Herwig theorem; Modal fragment; Modal logic; Packed fragment

Indexed keywords


EID: 52649092396     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1015178417181     Document Type: Article
Times cited : (36)

References (31)
  • 1
    • 0040716054 scopus 로고    scopus 로고
    • Finite algebras of relations are representable on finite sets
    • H. Andréka, I. Hodkinson, and I. Németi, 'Finite algebras of relations are representable on finite sets', J. Symbolic Logic 64 (1999), 243-267.
    • (1999) J. Symbolic Logic , vol.64 , pp. 243-267
    • Andréka, H.1    Hodkinson, I.2    Németi, I.3
  • 2
  • 3
    • 52649151254 scopus 로고    scopus 로고
    • The guarded fragment: Ins and outs
    • J. Gerbrandy, M. Marx, M. de Rijke, and Y. Venema (eds.), Vossiuspers, Amsterdam University Press, Amsterdam, CD-ROM, ISBN 90 5629 104 1
    • 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 90 5629 104 1.
    • (1999) JFAK. Essays Dedicated to Johan Van Benthem on the Occasion of His 50th Birthday
    • Areces, C.1    Monz, C.2    De Nivelle, H.3    De Rijke, M.4
  • 4
    • 0002185620 scopus 로고
    • Expressive functional completeness in tense logic (preliminary report)
    • U. Monnich (ed.), Reidel, Dordrecht
    • 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.
    • (1981) Aspects of Philosophical Logic , pp. 91-117
    • Gabbay, D.M.1
  • 5
    • 84957612843 scopus 로고    scopus 로고
    • Decision procedures for guarded logics
    • Automated Deduction - CADE16. Proceedings of 16th International Conference on Automated Deduction, Trento, 1999, Springer-Verlag
    • E. Grädel, 'Decision procedures for guarded logics', in Automated Deduction - CADE16. Proceedings of 16th International Conference on Automated Deduction, Trento, 1999, LNCS, vol. 1632, Springer-Verlag, 1999, pp. 31-51.
    • (1999) LNCS , vol.1632 , pp. 31-51
    • Grädel, E.1
  • 6
    • 0039064922 scopus 로고    scopus 로고
    • On the restraining power of guards
    • _, 'On the restraining power of guards', J. Symbolic Logic 64 (1999), 1719-1742.
    • (1999) J. Symbolic Logic , vol.64 , pp. 1719-1742
  • 7
    • 0030571561 scopus 로고    scopus 로고
    • Arity hierarchies
    • M. Grohe, 'Arity hierarchies', Ann. Pure Appl. Logic 82 (1996), 103-163.
    • (1996) Ann. Pure Appl. Logic , vol.82 , pp. 103-163
    • Grohe, M.1
  • 8
    • 0001334387 scopus 로고
    • Extending partial isomorphisms on finite structures
    • B. Herwig, 'Extending partial isomorphisms on finite structures', Combinatorica 15 (1995), 365-371.
    • (1995) Combinatorica , vol.15 , pp. 365-371
    • Herwig, B.1
  • 9
    • 0032428531 scopus 로고    scopus 로고
    • Extending partial isomorphisms for the small index property of many ω-categorical structures
    • _, 'Extending partial isomorphisms for the small index property of many ω-categorical structures', Israel J. Math. 107 (1998), 93-124.
    • (1998) Israel J. Math. , vol.107 , pp. 93-124
  • 10
    • 23044518051 scopus 로고    scopus 로고
    • Extending partial isomorphisms and the profinite topology on the free groups
    • B. Herwig and D. Lascar, 'Extending partial isomorphisms and the profinite topology on the free groups', Trans. Amer. Math. Soc. 352 (2000), 1985-2021.
    • (2000) Trans. Amer. Math. Soc. , vol.352 , pp. 1985-2021
    • Herwig, B.1    Lascar, D.2
  • 11
    • 52649088762 scopus 로고    scopus 로고
    • A tableau algorithm for the clique guarded fragment
    • F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev (eds.), CSLI, to appear
    • 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.
    • (2001) Advances in Modal Logic , vol.3
    • Hirsch, C.1    Tobies, S.2
  • 12
    • 0347117686 scopus 로고    scopus 로고
    • Relation algebras from cylindric algebras, I
    • R. Hirsch and I. Hodkinson, 'Relation algebras from cylindric algebras, I', Ann. Pure Appl. Logic, 112 (2001) 225-266.
    • (2001) Ann. Pure Appl. Logic , vol.112 , pp. 225-266
    • Hirsch, R.1    Hodkinson, I.2
  • 13
    • 0034598581 scopus 로고    scopus 로고
    • Relation algebras with n-dimensional relational bases
    • _, 'Relation algebras with n-dimensional relational bases', Ann. Pure Appl. Logic 101 (2000), 227-274.
    • (2000) Ann. Pure Appl. Logic , vol.101 , pp. 227-274
  • 14
    • 0007451342 scopus 로고    scopus 로고
    • North-Holland, to appear
    • _, 'Relation algebras by games', North-Holland, 2002, to appear.
    • (2002) Relation Algebras by Games
  • 15
    • 33645251826 scopus 로고    scopus 로고
    • Mosaics and step-by-step
    • E. Orłowska (ed.), Studies in Fuzziness and Soft Computing, Physica-Verlag, Heidelberg/New York, Appendix to A Modal Logic of Relations by Y. Venema and M. Marx
    • R. Hirsch, I. Hodkinson, M. Marx, Sz. Mikulás, and M. Reynolds, 'Mosaics and step-by-step', in Logic at Work, E. Orłowska (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-167.
    • (1998) Logic at Work , vol.24 , pp. 158-167
    • Hirsch, R.1    Hodkinson, I.2    Marx, M.3    Mikulás, Sz.4    Reynolds, M.5
  • 17
    • 0000202689 scopus 로고
    • Extending partial isomorphisms of graphs
    • E. Hrushovski, 'Extending partial isomorphisms of graphs', Combinatorica 12 (1992), 411-416.
    • (1992) Combinatorica , vol.12 , pp. 411-416
    • Hrushovski, E.1
  • 19
    • 84968519023 scopus 로고
    • Some varieties containing relation algebras
    • R. Maddux, 'Some varieties containing relation algebras', Trans. Amer. Math. Soc. 272 (1982), 501-526.
    • (1982) Trans. Amer. Math. Soc. , vol.272 , pp. 501-526
    • Maddux, R.1
  • 20
    • 0003178338 scopus 로고
    • A sequent calculus for relation algebras
    • _, 'A sequent calculus for relation algebras', Ann. Pure Appl. Logic 25 (1983), 73-101.
    • (1983) Ann. Pure Appl. Logic , vol.25 , pp. 73-101
  • 21
    • 0040383432 scopus 로고    scopus 로고
    • Tech. Report ML-1997-02, ILLC, University of Amsterdam
    • 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
    • (1997) Complexity of Modal Logics of Relations
    • Marx, M.1
  • 23
    • 0040630044 scopus 로고    scopus 로고
    • Undecidable relativizations of algebras of relations
    • Sz. Mikulás and M. Marx, 'Undecidable relativizations of algebras of relations', J. Symbolic Logic 64 (1999), 747-760.
    • (1999) J. Symbolic Logic , vol.64 , pp. 747-760
    • Mikulás, Sz.1    Marx, M.2
  • 25
    • 84944133584 scopus 로고    scopus 로고
    • The complexity of the temporal logic with until over general linear time
    • accepted subject to some small revisions being made, Earlier draft version of manuscript available
    • _, '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
    • (2002) Journal of Computer and System Sciences
  • 26
    • 84963028434 scopus 로고
    • Generic automorphisms of homogeneous structures
    • J. K. Truss, 'Generic automorphisms of homogeneous structures', Proc. London Math. Soc. 64 (1992), 121-141.
    • (1992) Proc. London Math. Soc. , vol.64 , pp. 121-141
    • Truss, J.K.1
  • 27
    • 0004235635 scopus 로고
    • Ph.D. thesis, Mathematical Institute, University of Amsterdam
    • J. van Benthem, Modal correspondence theory, Ph.D. thesis, Mathematical Institute, University of Amsterdam, 1976.
    • (1976) Modal Correspondence Theory
    • Van Benthem, J.1
  • 28
    • 0003903884 scopus 로고    scopus 로고
    • Studies in Logic, Language and Information, CSLI Publications & FoLLI, Stanford
    • _, Exploring logical dynamics, Studies in Logic, Language and Information, CSLI Publications & FoLLI, Stanford, 1996.
    • (1996) Exploring Logical Dynamics
  • 29
    • 0003936466 scopus 로고    scopus 로고
    • Technical Report LP-97-01, ILLC, University of Amsterdam
    • _, '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
    • (1997) Dynamic Bits and Pieces
  • 31
    • 0001652558 scopus 로고    scopus 로고
    • Why is modal logic so robustly decidable?
    • N. Immerman and Ph. Kolaitis (eds.), DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Amer. Math. Soc, Providence, RI
    • 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.
    • (1997) Descriptive Complexity and Finite Models , vol.31 , pp. 149-184
    • Vardi, M.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.