scientific article; zbMATH DE number 881599

MaRDI QIDQ4879183zbMATH OpenFDO

Authors Jeremy Pitt, Jim Cunningham

Publication date 27 May 1996

zbMATH Keywords

theorem-prover

Mathematics Subject Classification ID

Recommendations

• First-order modal tableaux
• scientific article; zbMATH DE number 63752
• TABLEAUX: A general theorem prover for modal logics
• scientific article; zbMATH DE number 3986671
• Implementing a relational theorem prover for modal logic K

Cited in

(7)

• scientific article; zbMATH DE number 4104409 (Why is no real title available?)
• A model elimination calculus with built-in theories
• Quantifiers and the system KE: Some surprising results
• Distributed modal theorem proving with KE
• scientific article; zbMATH DE number 2099381 (Why is no real title available?)
• Towards an efficient prover for the \(C_1\) paraconsistent logic
• \textsf{Ko\(_{\mathsf{M}}\)eT}

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4879183)