Coalgebraic modal logic and games for coalgebras with side effects.
Harsh BeoharBarbara KönigSebastian KüpperChristina Mika-MichalskiPublished in: CoRR (2021)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- kripke models
- nonmonotonic logics
- epistemic logic
- classical logic
- situation calculus
- default logic
- conditional logic
- artificial intelligence
- video games
- game design
- game playing
- nash equilibria
- computer games
- game theory
- knowledge representation
- domain knowledge
- autoepistemic logic
- natural language
- modal operators
- dynamic logic
- explanation based generalization
- machine learning