You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Loosely Guarded Fragment of First-Order Logic Has the Finite Model Property
Contributor:
Hodkinson, Ian
Published:
Kluwer Academic Publishers, 2002
Published in:
Studia Logica: An International Journal for Symbolic Logic, 70 (2002) 2, Seite 205-240
Language:
English
ISSN:
0039-3215;
1572-8730
Origination:
Footnote:
Description:
<p>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.</p>