Representing strategic games and their equilibria in many-valued logics.
Libor BehounekPetr CintulaChris FermüllerTomás KroupaPublished in: Log. J. IGPL (2016)
Keyphrases
- nash equilibria
- modal logic
- game theoretic
- game theory
- nash equilibrium
- normal form games
- pure nash equilibria
- truth values
- extensive form games
- incomplete information
- repeated games
- pure nash equilibrium
- case study
- pure strategy
- stochastic games
- solution concepts
- multi agent decision making
- expressive power
- long run
- fictitious play
- conceptual clustering
- classical logic
- inference rules
- cooperative
- video games
- decision making
- decision problems
- game design
- temporal logic
- imperfect information
- nonmonotonic logics
- mixed strategy
- social welfare
- game playing
- congestion games
- educational games