A Complete Axiomatization of Interval Temporal Logic with Infinite Time.
Ben C. MoszkowskiPublished in: LICS (2000)
Keyphrases
- temporal logic
- complete axiomatization
- model checking
- satisfiability problem
- modal logic
- concurrent systems
- linear temporal logic
- verification method
- mazurkiewicz traces
- transition systems
- temporal knowledge
- dynamic constraints
- belief revision
- bounded model checking
- inclusion dependencies
- domain independent
- database
- temporally extended
- automata theoretic
- knowledge base