A General Theorem Prover for Quantified Modal Logics.
Virginie ThionSerenella CerritoMarta Cialdea MayerPublished in: TABLEAUX (2002)
Keyphrases
- theorem prover
- inference rules
- modal logic
- decision procedures
- automated reasoning
- theorem proving
- special case
- temporal logic
- formal proof
- first order logic
- automated theorem proving
- term rewriting
- classical logic
- nonmonotonic logics
- mathematical knowledge
- proof search
- natural deduction
- epistemic logic
- conditional logic
- logical framework
- semi supervised