Recommendations
Cited in
(18)- MOLOG: A system that extends PROLOG with modal logic
- First-order modal tableaux
- Resolution theorem proving in reified modal logics
- On interactive proof-search for constructive modal necessity
- scientific article; zbMATH DE number 1612541 (Why is no real title available?)
- scientific article; zbMATH DE number 3877148 (Why is no real title available?)
- scientific article; zbMATH DE number 4164168 (Why is no real title available?)
- scientific article; zbMATH DE number 4051564 (Why is no real title available?)
- Modal Theorem Proving: An Equational Viewpoint
- scientific article; zbMATH DE number 140385 (Why is no real title available?)
- scientific article; zbMATH DE number 549980 (Why is no real title available?)
- On an automated translation of modal proof rules into formulas of the classical logic
- An empirical analysis of modal theorem provers
- Presentation of proofs in modal natural deduction
- Distributed modal theorem proving with KE
- Theorem provers for every normal modal logic
- Experiments in theorem proving for topological hybrid logic
- Certification of prefixed tableau proofs for modal logic
This page was built for publication: On two approaches to modal theorem proving
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4924965)
