An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge.
Bernhard HeinemannPublished in: TIME (2003)
Keyphrases
- temporal logic
- predicate logic
- mazurkiewicz traces
- linear temporal logic
- model checking
- temporal epistemic
- modal logic
- logical formulas
- satisfiability problem
- concurrent systems
- first order logic
- bounded model checking
- belief revision
- verification method
- temporal knowledge
- computation tree logic
- model checker
- transition systems
- temporally extended
- formal specification
- reinforcement learning