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

Studia Logica 70 (2):205 - 240 (2002)
  Copy   BIBTEX

Abstract

We show that the loosely guarded and packed fragments of first-order logic have the finite model property. We use a construction of Herwig and Hrushovski. We point out some consequences in temporal predicate logic and algebraic logic.

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1015178417181

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Loosely Guarded Fragment of First-Order Logic has the Finite Model Property.Ian Hodkinson - 2002 - Studia Logica 70 (2):205-240.
Interpolation and definability in guarded fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373 - 409.
Interpolation and Definability in Guarded Fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373-409.
On the Restraining Power of Guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.
On the restraining power of guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.
Finite conformal hypergraph covers and Gaifman cliques in finite structures.Ian Hodkinson & Martin Otto - 2003 - Bulletin of Symbolic Logic 9 (3):387-405.
Products of modal logics. Part 3: Products of modal and temporal logics.Dov Gabbay & Valentin Shehtman - 2002 - Studia Logica 72 (2):157-183.
Temporalising tableaux.Roman Kontchakov, Carsten Lutz, Frank Wolter & Michael Zakharyaschev - 2004 - Studia Logica 76 (1):91 - 134.
Monodic packed fragment with equality is decidable.Ian Hodkinson - 2002 - Studia Logica 72 (2):185-197.
Complexity of monodic guarded fragments over linear and real time.Ian Hodkinson - 2006 - Annals of Pure and Applied Logic 138 (1):94-125.

Analytics

Added to PP
2009-01-28

Downloads
143 (#30,759)

6 months
6 (#1,472,471)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic.Gennady Shtakser - 2023 - Journal of Logic, Language and Information 32 (3):511-538.

View all 9 citations / Add more citations

References found in this work

Decidable fragments of first-order temporal logics.Ian Hodkinson, Frank Wolter & Michael Zakharyaschev - 2000 - Annals of Pure and Applied Logic 106 (1-3):85-134.
Relation algebras with n-dimensional relational bases.Robin Hirsch & Ian Hodkinson - 2000 - Annals of Pure and Applied Logic 101 (2-3):227-274.
Tense Logic and the Theory of Linear Order.Johan Anthony Wilem Kamp - 1968 - Dissertation, University of California, Los Angeles
Arity hierarchies.Martin Grohe - 1996 - Annals of Pure and Applied Logic 82 (2):103-163.

Add more references