Keyphrases
- nonmonotonic logics
- propositional dynamic logic
- proof theory
- conditional logic
- epistemic logic
- computer games
- proof theoretic
- expressive power
- game playing
- modal logic
- default reasoning
- valued semantics
- formal semantics
- conceptual model
- logic programming
- game theoretic
- video games
- computational properties
- semantic information
- nash equilibria
- optimal strategy
- modal operators
- game theory