Propositional Temporal Logics: Decidability and Completeness.
Orna LichtensteinAmir PnueliPublished in: Log. J. IGPL (2000)
Keyphrases
- temporal logic
- automata theoretic
- model checking
- modal logic
- mazurkiewicz traces
- propositional logic
- satisfiability problem
- decision procedures
- description logics
- default logic
- belief revision
- first order logic
- concurrent systems
- linear temporal logic
- temporal knowledge
- predicate logic
- verification method
- query answering
- reactive systems
- knowledge compilation