Characterizing contrasimilarity through games, modal logic, and complexity.
Benjamin BispingLuisa MontanariPublished in: Inf. Comput. (2024)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- classical logic
- nonmonotonic logics
- epistemic logic
- dynamic logic
- computational complexity
- default logic
- computer games
- game theoretic
- worst case
- kripke models
- decision problems
- conditional logic
- prime implicates
- serious games
- game playing
- educational games
- game theory
- model checking
- expert systems