On theses without iterated modalities of modal logics between C1 and S5. I

DOI10.18778/0138-0680.46.1.2.09MaRDI QIDQ4608558zbMATH OpenOpenAlexWikidataFDO

Authors Andrzej Pietruszczak

Publication date 21 March 2018

Published in Bulletin of the Section of Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.18778/0138-0680.46.1.2.09

zbMATH Keywords

basic theories for modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\)first-degree theses of modal logicsPollock's theory of \textit{basic modal logic}theses without iterated modalities

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• On theses without iterated modalities of modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\). II
• scientific article; zbMATH DE number 2099412
• scientific article; zbMATH DE number 1080249
• Conjunctive normal forms and weak modal logics without the axiom of necessity
• scientific article; zbMATH DE number 1749192

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3603256 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 1852920 (Why is no real title available?)
• scientific article; zbMATH DE number 6290307 (Why is no real title available?)
• scientific article; zbMATH DE number 3260754 (Why is no real title available?)
• scientific article; zbMATH DE number 3310887 (Why is no real title available?)
• Algebraic semantics for modal logics I
• An introduction to non-classical logic. From if to is
• Basic modal logic
• Modal logics in the vicinity of S1
• New foundations for Lewis modal systems
• Proof theory
• S1 not equal SO.9
• Semantical investigations on some weak modal logics. I.
• Simplified Kripke style semantics for some very weak modal logics

Cited in

(3)

• Axiomatizing a minimal discussive logic
• Simplified Kripke-style semantics for some normal modal logics
• On theses without iterated modalities of modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\). II

This page was built for publication: On theses without iterated modalities of modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\). I

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