Journal of Symbolic Logic 60 (1):266-288 (1995)
| Abstract |
We consider structural completeness in modal logics. The main result is the necessary and sufficient condition for modal logics over K4 to be hereditarily structurally complete: a modal logic λ is hereditarily structurally complete $\operatorname{iff} \lambda$ is not included in any logic from the list of twenty special tabular logics. Hence there are exactly twenty maximal structurally incomplete modal logics above K4 and they are all tabular
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2275521 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 69,078
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- jstor.org [2] (no proxy)
- jstor.org [3] (no proxy)
- cambridge.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
The Logics Containing S 4.3.Kit Fine - 1971 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 17 (1):371-376.
Problems of Substitution and Admissibility in the Modal System Grz and in Intuitionistic Propositional Calculus.V. V. Rybakov - 1990 - Annals of Pure and Applied Logic 50 (1):71-106.
Citations of this work BETA
Modal Consequence Relations Extending $Mathbf{S4.3}$: An Application of Projective Unification.Wojciech Dzik & Piotr Wojtylak - 2016 - Notre Dame Journal of Formal Logic 57 (4):523-549.
Linear Temporal Logic with Until and Next, Logical Consecutions.V. Rybakov - 2008 - Annals of Pure and Applied Logic 155 (1):32-45.
Hereditarily Structurally Complete Positive Logics.Alex Citkin - 2020 - Review of Symbolic Logic 13 (3):483-502.
Singly Generated Quasivarieties and Residuated Structures.Tommaso Moraschini, James G. Raftery & Johann J. Wannenburg - 2020 - Mathematical Logic Quarterly 66 (2):150-172.
Logics with the Universal Modality and Admissible Consecutions.Rybakov Vladimir - 2007 - Journal of Applied Non-Classical Logics 17 (3):383-396.
View all 7 citations / Add more citations
Similar books and articles
On Structural Completeness of Implicational Logics.Piotr Wojtylak - 1991 - Studia Logica 50 (2):275 - 297.
On the Completeness of First Degree Weakly Aggregative Modal Logics.Peter Apostoli - 1997 - Journal of Philosophical Logic 26 (2):169-180.
A Theory of Hypermodal Logics: Mode Shifting in Modal Logic. [REVIEW]D. M. Gabbay - 2002 - Journal of Philosophical Logic 31 (3):211-243.
Simulation and Transfer Results in Modal Logic – a Survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
A Simple Incomplete Extension of T Which is the Union of Two Complete Modal Logics with F.M.P.Roy A. Benton - 2002 - Journal of Philosophical Logic 31 (6):527-541.
Analytics
Added to PP index
2009-01-28
Total views
29 ( #391,979 of 2,498,848 )
Recent downloads (6 months)
1 ( #421,180 of 2,498,848 )
2009-01-28
Total views
29 ( #391,979 of 2,498,848 )
Recent downloads (6 months)
1 ( #421,180 of 2,498,848 )
How can I increase my downloads?
Downloads
