A Real-time Semantics of Temporal Logic of Actions.
Michael KaminskiYael YarivPublished in: J. Log. Comput. (2003)
Keyphrases
- temporal logic
- real time
- model checking
- temporally extended
- modal logic
- satisfiability problem
- modal operators
- temporal knowledge
- concurrent systems
- epistemic logic
- computation tree logic
- temporally extended goals
- linear temporal logic
- verification method
- transition systems
- mazurkiewicz traces
- speech acts
- situation calculus
- logic programming
- reactive systems
- belief revision
- dynamic constraints
- symbolic model checking
- reasoning about actions
- control flow
- formal methods