- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Modal Companions of $$K4^{+}$$
Studia Logica 110 (5):1327–1347 (2022)
Abstract
We study modal companions of \(K4^+\), the strictly positive fragment of _K_4. We partially find the boundary between all normal extensions of _K_4 and modal companions of \(K4^+\) among them. We also show that there is no greatest modal companion of \(K4^+\).My notes
Similar books and articles
Refutations, Proofs, and Models in the Modal Logic K4.Tomasz Skura - 2002 - Studia Logica 70 (2):193-204.
A canonical topological model for extensions of K4.Christopher Steinsvold - 2010 - Studia Logica 94 (3):433 - 441.
Refutations, proofs, and models in the modal logic K.Tomasz Skura - 2002 - Studia Logica 70 (2):193 - 204.
Minimal p-morphic images, axiomatizations and coverings in the modal logic K.Fabio Bellissima & Saverio Cittadini - 1999 - Studia Logica 62 (3):371-398.
Structural completeness of modal logics containing K4.Wieslaw Dziobiak - 1983 - Bulletin of the Section of Logic 12 (1):32-35.
Filtering unification and most general unifiers in modal logic.Silvio Ghilardi & Lorenzo Sacchetti - 2004 - Journal of Symbolic Logic 69 (3):879-906.
The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★.Leo Esakia - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):349-366.
Modal companions of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1992 - Studia Logica 51 (1):49 - 82.
Projective Beth;s Properties in Infinite Slice Extensions of the Modal Logic K4.Larisa Maksimova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 349-363.
Analytics
Added to PP
2022-06-02
Downloads
12 (#1,113,725)
6 months
1 (#1,515,053)
2022-06-02
Downloads
12 (#1,113,725)
6 months
1 (#1,515,053)
Historical graph of downloads
References found in this work
Kripke completeness of strictly positive modal logics over meet-semilattices with operators.Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter & Michael Zakharyaschev - 2019 - Journal of Symbolic Logic 84 (2):533-588.
Positive provability logic for uniform reflection principles.Lev Beklemishev - 2014 - Annals of Pure and Applied Logic 165 (1):82-105.
On the complexity of the closed fragment of Japaridze’s provability logic.Fedor Pakhomov - 2014 - Archive for Mathematical Logic 53 (7-8):949-967.
A Note on Strictly Positive Logics and Word Rewriting Systems.Lev Beklemishev - 2018 - In Sergei Odintsov (ed.), Larisa Maksimova on Implication, Interpolation, and Definability. Cham, Switzerland: Springer Verlag.
Locality and subsumption testing in EL and some of its extensions.Viorica Sofronie-Stokkermans - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 315-339.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-7qn45 uwo