Decidable fragments of first-order temporal logics
Top Cited Papers
- 1 December 2000
- journal article
- Published by Elsevier BV in Annals of Pure and Applied Logic
- Vol. 106 (1-3), 85-134
- https://doi.org/10.1016/s0168-0072(00)00018-x
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Temporal query languages: A surveyPublished by Springer Science and Business Media LLC ,2005
- On the Restraining Power of GuardsThe Journal of Symbolic Logic, 1999
- Modal Languages and Bounded Fragments of Predicate LogicJournal of Philosophical Logic, 1998
- Products of modal logics, part 1Logic Journal of the IGPL, 1998
- Temporal versus first-order logic to query temporal databasesPublished by Association for Computing Machinery (ACM) ,1996
- On the Feasibility of Checking Temporal Integrity ConstraintsJournal of Computer and System Sciences, 1995
- A multi-dimensional terminological knowledge representation languageJournal of Applied Non-Classical Logics, 1995
- A Computational Account for a Description Logic of Time and ActionPublished by Elsevier BV ,1994
- The decision problem for linear temporal logic.Notre Dame Journal of Formal Logic, 1985
- Completeness problems in verification of programs and program schemesLecture Notes in Computer Science, 1979