On the modal logic K plus theories

DOI10.1007/3-540-61377-3_45MaRDI QIDQ6560175zbMATHFDO

Authors Alain Heuerding, Stefan Schwendimann

Publication date 21 June 2024

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Recommendations

• Improved decision procedures for the modal logics K, T and S4
• scientific article; zbMATH DE number 2024633
• A benchmark method for the propositional modal logics K, KT, S4
• Positive modal logic
• Refutations, proofs, and models in the modal logic K4

Cites work

• scientific article; zbMATH DE number 49746 (Why is no real title available?)
• scientific article; zbMATH DE number 65760 (Why is no real title available?)
• scientific article; zbMATH DE number 3252193 (Why is no real title available?)
• A guide to completeness and complexity for modal logics of knowledge and belief
• An Intuitionistic Predicate Logic Theorem Prover
• First-order modal tableaux
• Proof methods for modal and intuitionistic logics
• Relations between propositional normal modal logics: an overview
• TABLEAUX: A general theorem prover for modal logics
• The Computational Complexity of Provability in Systems of Modal Propositional Logic

This page was built for publication: On the modal logic K plus theories

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