On theses without iterated modalities of modal logics between C1 and S5. I
DOI10.18778/0138-0680.46.1.2.09zbMATH Open1423.03062OpenAlexW2918110064WikidataQ131341357 ScholiaQ131341357MaRDI QIDQ4608558FDOQ4608558
Authors: Andrzej Pietruszczak 
Publication date: 21 March 2018
Published in: Bulletin of the Section of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.18778/0138-0680.46.1.2.09
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
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
Cites Work
- Title not available (Why is that?)
- An introduction to non-classical logic. From if to is
- Title not available (Why is that?)
- Algebraic semantics for modal logics I
- Title not available (Why is that?)
- Modal logics in the vicinity of S1
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Proof theory
- New foundations for Lewis modal systems
- Basic modal logic
- Title not available (Why is that?)
- Simplified Kripke style semantics for some very weak modal logics
- S1 not equal SO.9
- Title not available (Why is that?)
- Semantical investigations on some weak modal logics. I.
Cited In (3)
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)
