Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic.
Max WisniewskiAlexander SteenPublished in: ARQNL@IJCAR (2014)
Keyphrases
- higher order logic
- modal logic
- conditional logic
- higher order
- temporal logic
- inference rules
- epistemic logic
- logical framework
- explanation based generalization
- default logic
- classical logic
- autoepistemic logic
- nonmonotonic logics
- nonmonotonic reasoning
- situation calculus
- prime implicates
- description logic alc
- knowledge representation and reasoning
- default reasoning
- belief revision
- model checking
- theorem prover
- fixed point
- pairwise