Keyphrases
- propositional variables
- boolean games
- winning strategy
- proof procedures
- game theory
- computer games
- game playing
- video games
- game theoretic
- game design
- modal logic
- game play
- proof theory
- classical logic
- inference rules
- nash equilibrium
- perfect information
- educational games
- truth values
- minority game
- game development
- learning games
- serious games
- intuitionistic logic
- propositional dynamic logic
- nash equilibria
- monte carlo tree search
- digital games
- imperfect information
- epistemic logic
- game based learning
- propositional calculus
- game players
- extensive form games
- human computation
- coalitional games
- game tree search
- human players
- coalition logic
- nonmonotonic logics
- online game
- simulation game
- proof theoretic
- games played
- solution concepts
- general game playing
- adventure game
- mobile games
- board game
- logic programming
- two player games
- cooperative game
- proof procedure
- game mechanics
- repeated games
- conditional logic
- model checking
- idea generation
- kripke models
- logical framework
- computer poker
- table tennis
- opponent modeling