Theorem Provers For Every Normal Modal Logic.
Tobias GleißnerAlexander SteenChristoph BenzmüllerPublished in: LPAR (2017)
Keyphrases
- modal logic
- theorem prover
- inference rules
- theorem proving
- automated reasoning
- decision procedures
- temporal logic
- automated theorem proving
- automated deduction
- classical logic
- computer algebra
- nonmonotonic logics
- first order logic
- epistemic logic
- natural deduction
- situation calculus
- dynamic logic
- default logic
- proof search
- higher order logic
- logical framework
- formal semantics
- abductive reasoning
- prime implicates
- conditional logic
- autoepistemic logic
- deductive databases
- knowledge base
- explanation based generalization