A Coalgebraic Semantics for Intuitionistic Modal Logic.
Rodrigo Nicolau AlmeidaNick BezhanishviliPublished in: CoRR (2024)
Keyphrases
- modal logic
- classical logic
- epistemic logic
- nonmonotonic logics
- conditional logic
- dynamic logic
- modal operators
- autoepistemic logic
- kripke models
- inference rules
- temporal logic
- decision procedures
- logical framework
- theorem prover
- default logic
- description logic alc
- model theoretic
- linear logic
- situation calculus
- formal semantics
- model checking
- default theories
- incomplete information
- interval valued
- action theories
- description logics
- expert systems
- multi agent systems
- reinforcement learning
- prime implicates
- explanation based generalization
- default reasoning
- artificial intelligence