Keyphrases
- epistemic logic
- modal logic
- model checking
- multi agent systems
- dynamic epistemic logic
- multi faceted
- inference rules
- decision making
- game theory
- logical framework
- formal semantics
- computation tree logic
- mathematical theory
- game theoretic
- nash equilibrium
- object oriented
- cooperative
- temporal logic
- complex systems
- web services
- image processing