Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time.
Szabolcs MikulásMark ReynoldsTim FrenchPublished in: TIME (2009)
Keyphrases
- epistemic logic
- temporal epistemic
- modal logic
- model checking
- decision procedures
- multi agent systems
- dynamic epistemic logic
- logical framework
- multi faceted
- temporal properties
- mathematical theory
- formal semantics
- inference rules
- computation tree logic
- model checker
- temporal reasoning
- formal verification
- temporal information
- heuristic search
- image processing