Minimal Axiomatization in Modal Logic

DOI10.1002/MALQ.19970430112MaRDI QIDQ4333475zbMATH OpenOpenAlexWikidataFDO

Authors Fabio Bellissima, Saverio Cittadini

Publication date 25 May 1997

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19970430112

zbMATH Keywords

modal logicfinite Kripke framesminimal axiomatization

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Recommendations

• On the axiomatization of finite K-frames
• Minimal p-morphic images, axiomatizations and coverings in the modal logic K4
• Minimal non-contingency logic
• Axiomatization of modal logic squares with distinguished diagonal
• Frame-validity games and absolute minimality of modal axioms

Cites work

• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• An incomplete logic containing S4
• Finite equational bases for finite algebras in a congruence-distributive equational class

Cited in

(13)

• scientific article; zbMATH DE number 3867321 (Why is no real title available?)
• The Modality of Finite (Graded Modalities VII)
• scientific article; zbMATH DE number 4132133 (Why is no real title available?)
• scientific article; zbMATH DE number 7585725 (Why is no real title available?)
• Minimal consequence in sentential logic
• Linear modalities in mininal logic
• Minimal Logicism
• Simple Axioms for Local Properties
• Frame-validity games and absolute minimality of modal axioms
• Minimal Proof Search for Modal Logic K Model Checking
• scientific article; zbMATH DE number 1531820 (Why is no real title available?)
• ASP for minimal entailment in a rational extension of SROEL
• The Minimal System of Justification Logic with Names

This page was built for publication: Minimal Axiomatization in Modal Logic

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