Decidable fragments of first-order temporal logics
Authors:
- Ian HodkinsonIHIan Hodkinson
- Frank WolterFWFrank Wolter
- Michael ZakharyaschevMZMichael Zakharyaschev
- 1 December 2000
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 106 (1-3) , 85-134
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- 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 databases1996
- 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 Action1994
- 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
- Expanded theory of ordered Abelian groupsAnnals of Mathematical Logic, 1977