Extensions of the Lewis system S5

DOI10.2307/2266683MaRDI QIDQ5804992zbMATH OpenOpenAlexFDO

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

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

Cited in

(43)

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

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)