A modal provability logic of explicit and implicit proofs.
Evan GorisPublished in: Ann. Pure Appl. Log. (2009)
Keyphrases
- modal logic
- decision procedures
- natural deduction
- sequent calculus
- nonmonotonic logics
- cut elimination
- proof search
- classical logic
- explicit feedback
- inference rules
- temporal logic
- explicit knowledge
- automated theorem proving
- theorem prover
- epistemic logic
- linear logic
- case study
- formal proof
- dynamic logic
- predicate logic
- multi valued
- database
- nonmonotonic reasoning
- domain knowledge
- formal proofs
- explicit or implicit
- automated theorem provers
- mathematical proofs