Satisfiability Games for Branching-Time Logics.
Oliver FriedmannMarkus LatteMartin LangePublished in: Log. Methods Comput. Sci. (2013)
Keyphrases
- epistemic logic
- decision procedures
- modal logic
- satisfiability problem
- temporal logic
- expressive power
- computer games
- nash equilibria
- model checking
- temporal reasoning
- multi agent systems
- computational properties
- propositional logic
- terminological reasoning
- game playing
- phase transition
- nash equilibrium
- game theoretic
- np complete
- inference rules
- educational games
- game play
- conditional logic
- sat problem
- online game
- classical logic
- game theory
- search algorithm
- computational complexity
- nonmonotonic logics
- belief revision
- digital games
- video games
- conjunctive queries
- qualitative and quantitative