Modal Type Theory Based on the Intuitionistic Modal Logic $\mathbf{IEL}^{-}$.
Daniel RogozinPublished in: LFCS (2020)
Keyphrases
- modal logic
- classical logic
- temporal logic
- decision procedures
- inference rules
- modal operators
- kripke models
- nonmonotonic logics
- situation calculus
- epistemic logic
- default logic
- conditional logic
- higher order
- dynamic logic
- autoepistemic logic
- prime implicates
- description logic alc
- theorem prover
- explanation based generalization
- logical framework
- first order logic
- knowledge base