Naming Worlds in Modal and Temporal Logic.
Dov M. GabbayGuillaume MalodPublished in: J. Log. Lang. Inf. (2002)
Keyphrases
- temporal logic
- modal logic
- model checking
- transition systems
- inference rules
- satisfiability problem
- concurrent systems
- verification method
- nonmonotonic logics
- modal operators
- epistemic logic
- mazurkiewicz traces
- temporal knowledge
- situation calculus
- belief revision
- model checker
- formal methods
- temporally extended
- linear temporal logic
- reactive systems
- temporal properties
- dynamic constraints
- automata theoretic
- artificial intelligence