A New Game Equivalence and its Modal Logic.
Johan van BenthemNick BezhanishviliSebastian EnqvistPublished in: TARK (2017)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- epistemic logic
- nonmonotonic logics
- classical logic
- computer games
- nash equilibrium
- game playing
- default logic
- situation calculus
- game theory
- game theoretic
- game play
- educational games
- video games
- conditional logic
- virtual world
- description logic alc
- multi agent
- autoepistemic logic
- natural language