Extensions of the Lewis system S5
From MaRDI portal
Publication:5804992
DOI10.2307/2266683zbMath0043.00804OpenAlexW2138398824MaRDI QIDQ5804992
Publication date: 1951
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2266683
Related Items
The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond ⋮ Matching topological and frame products of modal logics ⋮ The broadest necessity ⋮ Some normal extensions of K4.3 ⋮ A modal logic of consistency ⋮ The structure of lattices of subframe logics ⋮ Der Verband der normalen verzweigten Modallogiken ⋮ WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY? ⋮ FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 ⋮ A pretabular classical relevance logic ⋮ THE BAIRE CLOSURE AND ITS LOGIC ⋮ Relative necessity and propositional quantification ⋮ Mathematical modality: an investigation in higher-order logic ⋮ A second pretabular classical relevance logic ⋮ The deducibilities of S5 ⋮ Mathematical modal logic: A view of its evolution ⋮ Admissible rules for pretable modal logics ⋮ CANONICAL FORMULAS FOR wK4 ⋮ CAN MODALITIES SAVE NAIVE SET THEORY? ⋮ Classical negation and expansions of Belnap-Dunn logic ⋮ LC and Its Pretabular Relatives ⋮ Weakening and extending \(\mathbb{Z}\) ⋮ Unification in pretabular extensions of S4 ⋮ Modal companions of intermediate propositional logics ⋮ Dugundji's theorem revisited ⋮ AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920) ⋮ An intriguing logic with two implicational connectives ⋮ Which modal logic is the right one? ⋮ A lattice of normal modal logics ⋮ Pretabular extensions of Lewis S4 ⋮ The extensions of \(BAlt_3\) ⋮ Maksimova, Relevance and the Study of Lattices of Non-classical Logics ⋮ Lattice NExtS4 from the Embedding Theorem Viewpoint ⋮ Simple axiomatizations for pretabular classical relevance logics ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers ⋮ Identity connective and modality ⋮ On McKinsey's syntactical characterizations of systems of modal logic ⋮ R-Mingle is Nice, and so is Arnon Avron ⋮ Carnapian extensions of S5 ⋮ The genesis of possible worlds semantics
Cites Work