Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger.
Ullrich HustadtPublished in: J. Log. Lang. Inf. (2001)
Keyphrases
- temporal logic
- mathematical foundations
- model checking
- modal logic
- satisfiability problem
- concurrent systems
- linear temporal logic
- mazurkiewicz traces
- belief revision
- verification method
- model checker
- temporal knowledge
- numerical solution
- temporally extended
- automata theoretic
- formal specification language
- artificial intelligence
- symbolic model checking
- transition systems
- knowledge representation
- computation tree logic
- dynamic programming