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

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

I. M. Hodkinson

Publication date: 8 July 2002

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

zbMATH Keywords

modal logic; algebraic logic; finite model property; finite structures; fragments of first-order logic; clique-guarded fragment; Herwig theorem; loosely guarded fragment; modal fragment; packed fragment; temporal predicate logic

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03C13: Model theory of finite structures

03B44: Temporal logic

03G15: Cylindric and polyadic algebras; relation algebras

03B20: Subsystems of classical logic (including intuitionistic logic)

03C07: Basic properties of first-order languages and structures

03C30: Other model constructions

Related Items

Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures, Deciding expressive description logics in the framework of resolution, Guarded fixed point logics and the monadic theory of countable trees., The finite graph problem for two-way alternating automata., The guarded fragment with transitive guards, Complexity of monodic guarded fragments over linear and real time, A Logical Approach to Data-Aware Automated Sequence Generation, Combining Theories: The Ackerman and Guarded Fragments