On Modal Logic Interpretations of Games.
Paul HarrensteinWiebe van der HoekJohn-Jules Ch. MeyerCees WitteveenPublished in: ECAI (2002)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- kripke models
- inference rules
- video games
- classical logic
- nonmonotonic logics
- default logic
- situation calculus
- educational games
- game play
- game theoretic
- nash equilibria
- game design
- epistemic logic
- game theory
- dynamic logic
- prime implicates
- explanation based generalization
- model checking
- nash equilibrium
- conditional logic
- computer games