Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces.
Paolo GaleazziEmiliano LoriniPublished in: Synth. (2016)
Keyphrases
- epistemic logic
- game theory
- modal logic
- kripke models
- multi agent systems
- multi agent
- cooperative
- dynamic epistemic logic
- game theoretic
- temporal logic
- multi agent learning
- nash equilibrium
- inference rules
- computation tree logic
- mechanism design
- resource allocation
- statistical physics
- decision theory
- model checking
- nash equilibria
- coalition formation
- fictitious play
- autonomous agents
- solution concepts
- logical framework
- default logic
- situation calculus