A Hierarchy of Temporal Logics with Past (Extended Abstract).
François LaroussiniePhilippe SchnoebelenPublished in: STACS (1994)
Keyphrases
- extended abstract
- temporal logic
- model checking
- mazurkiewicz traces
- modal logic
- satisfiability problem
- concurrent systems
- predicate logic
- verification method
- belief revision
- linear temporal logic
- temporal knowledge
- transition systems
- hierarchical structure
- higher level
- inference rules
- lower level
- temporal resolution