Complexity of monodic guarded fragments over linear and real time

Annals of Pure and Applied Logic

Volumn 138, Issue 1-3, 2006, Pages 94-125

  Hodkinson, Ian ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

First order temporal logic; Loosely guarded fragment; Mosaic; Packed fragment; Quasimodel

Indexed keywords

EID: 33644795761     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2005.06.007     Document Type: Article

References (28)

1. H. Andréka J. van Benthem I. Németi Modal logics and bounded fragments of predicate logic J. Philos. Logic 27 1998 217-274
2. S. Bauer I. Hodkinson F. Wolter M. Zakharyaschev On non-local propositional and weak monodic quantified CTL* J. Logic Comput. 14 2004 3-22
3. J.P. Burgess Y. Gurevich The decision problem for linear temporal logic Notre Dame J. Formal Logic 26 2 1985 115-128
4. A. Degtyarev M. Fisher B. Konev Monodic temporal resolution F. Baader Proceedings of CADE'19: International Conference on Automated Deduction Lecture Notes in Artificial Intelligence vol. 2741 2003 Springer-Verlag Berlin 397-411
5. A. Degtyarev M. Fisher A. Lisitsa Equality and monodic first-order temporal logic Studia Logica 72 2002 147-156
6. D. Gabbay I. Hodkinson M. Reynolds Temporal Logic: Mathematical Foundations and Computational Aspects vol. 1 1994 Clarendon Press Oxford
7. D. Gabbay A. Kurucz F. Wolter M. Zakharyaschev Many-Dimensional Modal Logics: Theory and Applications Studies in Logic vol. 148 2003 North-Holland Amsterdam
8. E. Grädel Decision procedures for guarded logics Automated Deduction - CADE16 (Proceedings of 16th International Conference on Automated Deduction, Trento, 1999) LNCS vol. 1632 1999 Springer-Verlag 31-51
9. E. Grädel On the restraining power of guards J. Symbolic Logic 64 1999 1719-1742
10. W. Hodges Model theory Encyclopedia of Mathematics and its Applications vol. 42 1993 Cambridge University Press
11. I. Hodkinson Loosely guarded fragment of first-order logic has the finite model property Studia Logica 70 2002 205-240
12. I. Hodkinson Monodic packed fragment with equality is decidable Studia Logica 72 2002 185-197
13. I. Hodkinson R. Kontchakov A. Kurucz F. Wolter M. Zakharyaschev On the computational complexity of decidable fragments of first-order linear temporal logics M. Reynolds A. Sattar Proc. TIME-ICTL 2003 IEEE 91-98
14. I. Hodkinson M. Otto Finite conformal hypergraph covers and Gaifman cliques in finite structures Bull. Symbolic Logic 9 2003 387-405
15. I. Hodkinson F. Wolter M. Zakharyaschev Decidable fragments of first-order temporal logics Ann. Pure Appl. Logic 106 2000 85-134
16. I. Hodkinson F. Wolter M. Zakharyaschev Monodic fragments of first-order temporal logics: 2000-2001 A.D. R. Nieuwenhuis A. Voronkov Logic for Programming, Artificial Intelligence and Reasoning LNAI vol. 2250 2001 Springer-Verlag 1-23
17. I. Hodkinson F. Wolter M. Zakharyaschev Decidable and undecidable fragments of first-order branching temporal logics Proc. 17th IEEE Symposium on Logic in Computer Science LICS 2002 IEEE Inc. 393-402
18. H. Kamp, Tense logic and the theory of linear order, Ph.D. Thesis, University of California, Los Angeles, 1968
19. B. Konev A. Degtyarev M. Fisher Handling equality in monodic temporal resolution M. Vardi A. Voronkov Logic for Programming and Automated Reasoning LPAR 2003 Lecture Notes in Artificial Intelligence vol. 2850 2003 Springer-Verlag Berlin 211-225
20. H. Läuchli J. Leonard On the elementary theory of linear order Fund. Math. 59 1966 109-116
21. M. Marx Tolerance logic J. Logic Lang. Inform. 10 2001 353-374
22. V.R. Pratt, Models of program logics, in: Proc. 20th IEEE Symposium on Foundations of Computer Science, San Juan, 1979, pp. 115-122
23. F.P. Ramsey On a problem of formal logic Proc. London Math. Soc. 30 1930 264-286
24. M. Reynolds, The complexity of temporal logic over the reals, 2001 (preprint). http://www.csse.uwa.edu.au/~mark/research/Online/Cort.html
25. M. Reynolds The complexity of the temporal logic with "until" over general linear time J. Comput. System Sci. 66 2003 393-426
26. J.G. Rosenstein Linear Orderings 1982 Academic Press New York
27. A.P. Sistla E.M. Clarke The complexity of propositional linear temporal logics J. ACM 32 1985 733-749
28. F. Wolter M. Zakharyaschev Axiomatizing the monodic fragment of first-order temporal logic Ann. Pure Appl. Logic 118 2002 133-145