Minimal Axiomatization in Modal Logic

DOI10.1002/MALQ.19970430112zbMATH Open0862.03007OpenAlexW1992413343WikidataQ126259656 ScholiaQ126259656MaRDI QIDQ4333475FDOQ4333475

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

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

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)

Cites Work

• Title not available (Why is that?)
• Finite equational bases for finite algebras in a congruence-distributive equational class
• An incomplete logic containing S4

Cited In (12)

• Minimal consequence in sentential logic
• Minimal Proof Search for Modal Logic K Model Checking
• Title not available (Why is that?)
• Frame-validity games and absolute minimality of modal axioms
• ASP for minimal entailment in a rational extension of SROEL
• Title not available (Why is that?)
• Title not available (Why is that?)
• Minimal Logicism
• The Modality of Finite (Graded Modalities VII)
• Linear modalities in mininal logic
• Title not available (Why is that?)
• 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)