On two approaches to modal theorem proving
From MaRDI portal
Publication:4924965
Recommendations
Cited in
(17)- First-order modal tableaux
- scientific article; zbMATH DE number 4164168 (Why is no real title available?)
- scientific article; zbMATH DE number 4051564 (Why is no real title available?)
- scientific article; zbMATH DE number 3877148 (Why is no real title available?)
- scientific article; zbMATH DE number 140385 (Why is no real title available?)
- Resolution theorem proving in reified modal logics
- Modal Theorem Proving: An Equational Viewpoint
- Distributed modal theorem proving with KE
- On interactive proof-search for constructive modal necessity
- An empirical analysis of modal theorem provers
- On an automated translation of modal proof rules into formulas of the classical logic
- Presentation of proofs in modal natural deduction
- scientific article; zbMATH DE number 1612541 (Why is no real title available?)
- MOLOG: A system that extends PROLOG with modal logic
- Certification of prefixed tableau proofs for modal logic
- Experiments in theorem proving for topological hybrid logic
- Theorem provers for every normal 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)
