New foundations for Lewis modal systems

DOI10.2307/2964179MaRDI QIDQ3248013zbMATHOpenAlexFDO

Authors 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

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

Cited in

(34)

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

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)