New foundations for Lewis modal systems

DOI10.2307/2964179zbMATH Open0080.24203OpenAlexW2082884384MaRDI QIDQ3248013FDOQ3248013

E. J. Lemmon

Publication date: 1957

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2964179

zbMATH Keywords

FoundationsMathematical LogicPhilosophy

Cites Work

• Some theorems about the sentential calculi of Lewis and Heyting
• An essay in modal logic
• A note concerning the paradoxes of strict implication and Lewis's system SI

Cited In (34)

• A deontic counterpart of Lewis's S1
• Deontic logic and possible worlds semantics: A historical sketch
• Title not available (Why is that?)
• On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics
• New axiomatics for relevant logics. I
• The logic of Quinean revisability
• Algebraic semantics for modal logics I
• A formalisation of referentially opaque contexts
• A formal characterisation of Hamblin's action-state semantics
• On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1
• A Lewisian Semantics for S2
• Necessary limits to knowledge: Unknowable truths
• A characterisation of some \(\mathbf{Z}\)-like logics
• A Non-Standard Kripke Semantics for the Minimal Deontic Logic
• A logic of believing, knowing, and inferring
• Australasian Association for Logic George Hughes Memorial Conference
• European Summer Meeting of the Association for Symbolic Logic, Leeds, 1979
• Mathematical modal logic: A view of its evolution
• C. I. Lewis's intensional semantics
• Valuation semantics for some systems of non-normal modal logic
• Modal logics in the vicinity of S1
• Explicit provability and constructive semantics
• Modal extensions of sub-classical logics for recovering classical logic
• Connexive Extensions of Regular Conditional Logic
• Non-normal super-strict implications
• Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2
• Anderson and Belnap's invitation to sin
• Dugundji's theorem revisited
• Does the deduction theorem fail for modal logic?
• Provability as a deontic notion
• Oskar Becker and the modal translation of intuitionistic logic
• 3-SAT = SAT for a class of normal modal logics
• Proof systems for super-strict implication
• Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic

This page was built for publication: New foundations for Lewis modal systems

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