Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together.
Emiliano LoriniFrançois SchwarzentruberAndreas HerzigPublished in: Information processing, rational belief change and social interaction (2009)
Keyphrases
- modal logic
- modal operators
- epistemic logic
- dynamic epistemic logic
- kripke models
- situation calculus
- inference rules
- temporal logic
- classical logic
- partial knowledge
- knowledge base
- domain knowledge
- partially ordered
- nonmonotonic logics
- conditional logic
- knowledge acquisition
- dynamic logic
- knowledge representation
- artificial intelligence
- expert systems
- explanation based generalization
- educational games
- action theories
- reasoning about actions
- game theory
- multi agent systems
- decision making