Certification of Prefixed Tableau Proofs for Modal Logic.
Tomer LibalMarco VolpePublished in: GandALF (2016)
Keyphrases
- modal logic
- proof search
- decision procedures
- inference rules
- sequent calculus
- automated theorem proving
- cut elimination
- theorem prover
- temporal logic
- classical logic
- theorem proving
- description logics
- third party
- epistemic logic
- default logic
- situation calculus
- conditional logic
- natural deduction
- proof procedure
- nonmonotonic logics
- explanation based generalization
- state space
- prime implicates
- domain knowledge
- logic programs
- study guide
- logic programming
- relational databases