A temporal epistemic logic with a reset operation.
Alessio LomuscioBozena WoznaPublished in: AAMAS (2007)
Keyphrases
- epistemic logic
- temporal epistemic
- model checking
- modal logic
- temporal logic
- multi agent systems
- inference rules
- temporal properties
- formal semantics
- dynamic epistemic logic
- logical framework
- computation tree logic
- multi faceted
- temporal information
- formal verification
- linear temporal logic
- orders of magnitude
- temporal reasoning
- computational model
- knowledge base