Extensions of the Lewis system S5
From MaRDI portal
Publication:5804992
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
Cites Work
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)