Keyphrases
- modal logic
- kripke models
- epistemic logic
- modal operators
- temporal logic
- inference rules
- decision procedures
- classical logic
- nonmonotonic logics
- default logic
- video games
- game design
- dynamic logic
- situation calculus
- conditional logic
- nash equilibria
- autoepistemic logic
- nash equilibrium
- game theory
- prime implicates
- game playing
- reinforcement learning
- game play
- expert systems
- multi agent