Theorem Proving for Non-normal Modal Logics.
Tiziano DalmonteSara NegriNicola OlivettiGian Luca PozzatoPublished in: OVERLAY (2020)
Keyphrases
- theorem proving
- modal logic
- decision procedures
- inference rules
- theorem prover
- temporal logic
- first order logic
- automated deduction
- automated reasoning
- term rewriting
- proof planning
- automatic programming
- epistemic logic
- parallel search
- proof procedure
- nonmonotonic logics
- logical inference
- classical logic
- automated theorem proving
- combinatorial search
- model checking
- consequence finding
- natural deduction
- logical framework
- default logic
- sequent calculus
- model theoretic
- horn clauses