Symbolic logic.
From MaRDI portal
Cited in
(23)- Axiomatizability of propositionally quantified modal logics on relational frames
- Disjunctive syllogism without \textit{ex falso}
- Categorical Propositions and Existential Import: A Post-modern Perspective
- Non-normal super-strict implications
- Venn and Existential Import: Development of the Modern Doctrine of Categorical Propositions
- Ruth Barcan Marcus on the Deduction Theorem in Modal Logic
- Expressive power of propositionally quantified modal logics on variable domain structures with accessibility
- Intuitionistic -calculus with the Lewis arrow
- von Wright and Hintikka on modal logic 1951--1962
- On Nelson's conception of consistency
- Connexive logic: new old challenges
- Hyperintensional models for non-congruential modal logics
- Nonconservative extensions by propositional quantifiers and modal incompleteness
- Intuitionistic \textsf{S4} as a logic of topological spaces
- Classical implication for three-valued logic
- Book review of: E. Mares, The logic of entailment and its history
- The quantum monadology
- On weak Lewis distributive lattices
- Soundness-preserving fusion of modal logics in Coq
- 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
- Formalizing the conditionals of Diodorus Cronus and Chrysippus: logic and potential applications in human thinking
This page was built for publication: Symbolic logic.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5892761)
