scientific article; zbMATH DE number 1765692

MaRDI QIDQ4539633zbMATH OpenFDO

Authors Jens Happe

Publication date 10 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830459

Mathematics Subject Classification ID

Recommendations

• Equational theorem proving modulo
• Theorem Proving Modulo Based on Boolean Equational Procedures
• Theorem proving modulo
• Publication:3030268
• scientific article; zbMATH DE number 4164168
• Modal Theorem Proving: An Equational Viewpoint
• scientific article; zbMATH DE number 1538015
• Embedding Deduction Modulo into a Prover
• Paramodulation-based theorem proving
• An empirical analysis of modal theorem provers

Cited in

(15)

• TABLEAUX: A general theorem prover for modal logics
• A benchmark method for the propositional modal logics K, KT, S4
• Implementing a relational theorem prover for modal logic K
• MODPROF
• Embedding Deduction Modulo into a Prover
• scientific article; zbMATH DE number 4094866 (Why is no real title available?)
• A New, Simpler Proof of the Modularisation Theorem for Logical Specifications
• scientific article; zbMATH DE number 1950267 (Why is no real title available?)
• An empirical analysis of modal theorem provers
• scientific article; zbMATH DE number 1538015 (Why is no real title available?)
• Distributed modal theorem proving with KE
• Theorem provers for every normal modal logic
• InKreSAT: modal reasoning via incremental reduction to SAT
• Certification of prefixed tableau proofs for modal logic
• Automated Reasoning

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 Q4539633)