New foundations for Lewis modal systems

DOI10.2307/2964179zbMath0080.24203OpenAlexW2082884384MaRDI QIDQ3248013

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

PhilosophyFoundationsMathematical Logic

Related Items (32)

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

Cites Work

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

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