Monodic packed fragment with equality is decidable

Studia Logica

Volumn 72, Issue 2, 2002, Pages 185-197

  Hodkinson, Ian ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Clique guarded fragment; Monadic second order logic; Predicate temporal logic; Quasimodel; Since; Until

Indexed keywords

EID: 1342319529     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1021356410579     Document Type: Article

References (9)

1. BÜCHI, J. R., 'On a decision method in restricted second order arithmetic', pp. 1-11 in Logic, Methodology, and Philosophy of Science: Proc. 1960 Internat. Congress, Stanford University Press, 1962.
2. DEGTYAREV, A., M. FISHER, and A. LISITSA, 'Equality and monodic first-order temporal logic', Studia Logica (this volume).
3. GRÄDEL, E., 'Decision procedures for guarded logics', pp. 31-51 in Automated Deduction - CADE16, Lecture Notes in Computer Sscience 1632, Springer-Verlag, 1999.
4. HODKINSON, I., 'Loosely guarded fragment of first-order logic has the finite model property', Studia Logica 70:205-240, 2002.
5. HODKINSON, I., and M. OTTO, 'Finite conformal hypergraph covers and Gaifman cliques in finite structures', preprint, 2001. See http://www-compsci. swan.ac.uk/~csmartin/papers/H0.ps
6. HODKINSON, I., F. WOLTER, and M. ZAKHARYASCHEV, 'Decidable fragments of first-order temporal logics', Annals of Pure and Applied Logic 106:85-134, 2000.
7. MARX, M., 'Tolerance logic', Journal of Logic, Language and Computation 10:353-373, 2001.
8. RABIN, M. O., 'Decidability of second order theories and automata on infinite trees', Trans. Amer. Math. Soc. 141:1-35, 1969.
9. WOLTER, F., and M. ZAKHARYASCHEV, 'Axiomatizing the monodic fragment of first-order temporal logic', Annals of Pure and Applied Logic 118:133-145, 2002.