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

DOI10.1023/A:1015178417181zbMath0998.03003OpenAlexW1502739147MaRDI QIDQ1604793

I. M. Hodkinson

Publication date: 8 July 2002

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1015178417181

zbMATH Keywords

modal logicalgebraic logicfinite model propertyfinite structuresfragments of first-order logicclique-guarded fragmentHerwig theoremloosely guarded fragmentmodal fragmentpacked fragmenttemporal predicate logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory of finite structures (03C13) Temporal logic (03B44) Cylindric and polyadic algebras; relation algebras (03G15) Subsystems of classical logic (including intuitionistic logic) (03B20) Basic properties of first-order languages and structures (03C07) Other model constructions (03C30)

Related Items

The finite graph problem for two-way alternating automata. ⋮ The guarded fragment with transitive guards ⋮ A Logical Approach to Data-Aware Automated Sequence Generation ⋮ Combining Theories: The Ackerman and Guarded Fragments ⋮ Epistemic logics with quantification over epistemic operators: decidability and expressiveness ⋮ Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments ⋮ A modal loosely guarded fragment of second-order propositional modal logic ⋮ Deciding expressive description logics in the framework of resolution ⋮ Bounded Quantifier Instantiation for Checking Inductive Invariants ⋮ Propositional epistemic logics with quantification over agents of knowledge ⋮ Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures ⋮ Guarded Negation ⋮ EPPA for two-graphs and antipodal metric spaces ⋮ Propositional epistemic logics with quantification over agents of knowledge (an alternative approach) ⋮ Complexity of monodic guarded fragments over linear and real time ⋮ Guarded fixed point logics and the monadic theory of countable trees.