Cites work
Cited in
(41)- New axiomatics for relevant logics. I
- Mathematical modal logic: A view of its evolution
- A characterisation of some \(\mathbf{Z}\)-like logics
- A logic of believing, knowing, and inferring
- Modal logics in the vicinity of S1
- Modal extensions of sub-classical logics for recovering classical logic
- Anderson and Belnap's invitation to sin
- Oskar Becker and the modal translation of intuitionistic logic
- Dugundji's theorem revisited
- Provability as a deontic notion
- A deontic counterpart of Lewis's S1
- Deontic logic and possible worlds semantics: A historical sketch
- A formal characterisation of Hamblin's action-state semantics
- Explicit provability and constructive semantics
- Connexive extensions of regular conditional logic
- Does the deduction theorem fail for modal logic?
- European Summer Meeting of the Association for Symbolic Logic, Leeds, 1979
- The logic of Quinean revisability
- Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2
- On theses without iterated modalities of modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\). I
- Australasian Association for Logic George Hughes Memorial Conference
- Making sense of paraconsistent logic: the nature of logic, classical logic and paraconsistent logic
- A Lewisian semantics for S2
- A non-standard Kripke semantics for the minimal deontic logic
- Constructive canonicity of inductive inequalities
- Algebraic semantics for modal logics I
- A formalisation of referentially opaque contexts
- Proof systems for super-strict implication
- C. I. Lewis's intensional semantics
- Valuation semantics for some systems of non-normal modal logic
- Non-normal super-strict implications
- 3-SAT = SAT for a class of normal modal logics
- Ruth Barcan Marcus on the Deduction Theorem in Modal Logic
- Monotone modal logic beyond distributivity
- Hyperintensional models for non-congruential modal logics
- Some additional axioms for t-normal logics. Defining K45, KB4, KD45 and S5 without using modal rules
- New(ish) foundations for theories of entailment
- Saul Kripke: a portrait of the modal logician as a young man
- \textit{Becker's rule} is not Becker's rule
- On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics
- Necessary limits to knowledge: Unknowable truths
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)
