Keyphrases
- epistemic logic
- multi agent systems
- modal logic
- model checking
- logical framework
- inference rules
- dynamic epistemic logic
- multi faceted
- temporal logic
- formal semantics
- expert systems
- mathematical theory
- computation tree logic
- theorem proving
- formal verification
- model checker
- decision making
- cooperative
- multi agent
- image processing