On the modal logic K plus theories

DOI10.1007/3-540-61377-3_45zbMATH Open1540.03043MaRDI QIDQ6560175FDOQ6560175

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)

Cites Work

• Relations between propositional normal modal logics: an overview
• TABLEAUX: A general theorem prover for modal logics
• Title not available (Why is that?)
• A guide to completeness and complexity for modal logics of knowledge and belief
• Proof methods for modal and intuitionistic logics
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• First-order modal tableaux
• Title not available (Why is that?)
• Title not available (Why is that?)
• An Intuitionistic Predicate Logic Theorem Prover

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)