Extensions of the Lewis system S5

DOI10.2307/2266683zbMATH Open0043.00804OpenAlexW2138398824MaRDI QIDQ5804992FDOQ5804992

Authors: Schiller Joe Scroggs 

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

zbMATH Keywords

foundations, philosophy, logic

Cites Work

• Some theorems about the sentential calculi of Lewis and Heyting
• On the number of complete extensions of the Lewis systems of sentential calculus

Cited In (42)

• Relative necessity and propositional quantification
• The extensions of \(BAlt_3\)
• An intriguing logic with two implicational connectives
• Which modal logic is the right one?
• Carnapian extensions of S5
• The structure of lattices of subframe logics
• The deducibilities of S5
• Unification in pretabular extensions of S4
• CAN MODALITIES SAVE NAIVE SET THEORY?
• Maksimova, relevance and the study of lattices of non-classical logics
• Lattice NExtS4 from the embedding theorem viewpoint
• Matching topological and frame products of modal logics
• The broadest necessity
• The genesis of possible worlds semantics
• What is the correct logic of necessity, actuality and apriority?
• Classical negation and expansions of Belnap-Dunn logic
• The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond
• AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920)
• FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3
• A lattice of normal modal logics
• Pretabular extensions of Lewis S4
• R-Mingle is Nice, and so is Arnon Avron
• Mathematical modal logic: A view of its evolution
• Der Verband der normalen verzweigten Modallogiken
• Mathematical modality: an investigation in higher-order logic
• Canonical formulas \(\mathbf{wK4}\)
• Many-valued modalities and paraconsistency
• Some normal extensions of K4.3
• Admissible rules for pretable modal logics
• Modal companions of intermediate propositional logics
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
• Identity connective and modality
• Weakening and extending \(\mathbb{Z}\)
• Dugundji's theorem revisited
• Simple axiomatizations for pretabular classical relevance logics
• On McKinsey's syntactical characterizations of systems of modal logic
• A second pretabular classical relevance logic
• THE BAIRE CLOSURE AND ITS LOGIC
• On some classes of formulas in S5 which are pre-complete relative to existential expressibility
• LC and its pretabular relatives
• A pretabular classical relevance logic
• A modal logic of consistency

This page was built for publication: Extensions of the Lewis system S5

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