Keyphrases
- higher order
- game theory
- classical first order logic
- game theoretic
- first order logic
- game design
- computer games
- nash equilibrium
- stochastic dominance
- video games
- modal logic
- nash equilibria
- game tree search
- online game
- conditional logic
- learning agents
- weighted majority
- cooperative game
- game play
- educational games
- decision procedures
- repeated games
- predicate calculus
- game playing
- learning games
- sequent calculi