Keyphrases
- epistemic logic
- temporal epistemic
- modal logic
- model checking
- temporal logic
- expressive power
- inference rules
- multi agent systems
- situation calculus
- mathematical theory
- multiple agents
- decision theoretic
- formal semantics
- logical framework
- decision procedures
- artificial intelligence
- multi faceted
- logic programming
- knowledge base