Keyphrases
- modal logic
- coalitional games
- temporal logic
- inference rules
- solution concepts
- kripke models
- classical logic
- nonmonotonic logics
- weighted voting games
- epistemic logic
- game theoretic
- situation calculus
- default logic
- coalition formation
- power consumption
- nash equilibrium
- computer games
- conditional logic
- dynamic logic
- model checking
- coalition structure generation
- prime implicates
- game theory
- video games
- coalition structures
- autoepistemic logic
- modal operators
- von neumann
- logic programming
- nash equilibria
- formal specification
- general logic programs