Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T.
Ian M. HodkinsonAngelo MontanariGuido SciaviccoPublished in: CSL (2008)
Keyphrases
- temporal logic
- linear temporal logic
- model checking
- mazurkiewicz traces
- modal logic
- satisfiability problem
- concurrent systems
- description logics
- predicate logic
- belief revision
- real numbers
- real valued functions
- temporal resolution
- temporal knowledge
- reactive systems
- verification method
- formal verification
- transition systems
- special case