Connexive modal logic
From MaRDI portal
Publication:5483018
Recommendations
Cited in
(87)- Belnap-Dunn modal logics: truth constants vs. truth values
- Aristotle's thesis in consistent and inconsistent logics
- A Critical Examination of the Historical Origins of Connexive Logic
- Relating semantics for connexive logic
- Constructive negation, implication, and co-implication
- A Routley-Meyer affixing style semantics for logics containing Aristotle's thesis
- An analysis of poly-connexivity
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- Natural deduction systems for Nelson's paraconsistent logic and its neighbors
- A poly-connexive logic
- Connexive modal logic based on positive S4
- De Finettian logics of indicative conditionals. I: Trivalent semantics and validity
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
- Peirce's triadic logic and its (overlooked) connexive expansion
- Logical connectives for two-state semantics
- Three ways of being non-material
- An infinity of intuitionistic connexive logics
- Connexive conditional logic. I
- History of relating logic. The origin and research directions
- scientific article; zbMATH DE number 1414360 (Why is no real title available?)
- A Nelsonian Response to ‘the Most Embarrassing of All Twelfth-century Arguments’
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic
- Modal Boolean connexive logics: semantics and tableau approach
- Variable sharing in connexive logic
- On split negation, strong negation, information, falsification, and verification
- Relevant connexive logic
- \textit{Per se} modality and natural implication -- an account of connexive logic in Robert Kilwardby
- Embedding friendly first-order paradefinite and connexive logics
- Poly-connexivity: connexive conjunction and disjunction
- Humble connexivity
- Logics of nonsense and Parry systems
- Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic
- Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality
- Connexive extensions of regular conditional logic
- Losing connection: the modal logic of definable link deletion
- The nature of entailment: an informational approach
- From paraconsistent logic to dialetheic logic
- On the methodology of paraconsistent logic
- Connexive restricted quantification
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
- Connexive logics. An overview and current trends
- An invitation to new essays on Belnap-Dunn logic
- Logical consequence in Avicenna's theory
- Weak negation in inquisitive semantics
- Paraconsistency in classical logic
- Strongly semantic information as information about the truth
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- Connexive Gentzen
- Boolean connexive logics: semantics and tableau approach
- Dialogical connexive logic
- Rewriting the history of connexive logic
- Towards a bridge over two approaches in connexive logic
- Axiomatization of some basic and modal Boolean connexive logics
- Negation of Conditionals in Natural Language and Thought
- The semantic characterization of modal logical connectives
- 40 years of FDE: an introductory overview
- Inconsistent models (and infinite models) for arithmetics with constructible falsity
- Connexive Variants of Modal Logics Over FDE
- Provability multilattice logic
- SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION
- On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
- An intuitionistically complete system of basic intuitionistic conditional logic
- On the role of Aristotle's connexive axioms in non-connexive logics
- A note on synonymy in proof-theoretic semantics
- A dialectic contra-classical logic
- Logical multilateralism
- Connexive Principles After a ‘Classical’ Turn in Medieval Logic
- Finite tree-countermodels via refutation systems in extensions of positive logic with strong negation
- A Variant of Material Connexive Logic
- On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\)
- Mortensen logics
- Connexive implications in substructural logics
- A simple way to overcome hyperconnexivity
- An algebraic investigation of the connexive logic \(\mathsf{C}\)
- Angell and McCall meet Wansing
- Boolean connexive logic and content relationship
- Connexive logic, connexivity, and connexivism: remarks on terminology
- Connexive negation
- Intuitionistic logic is a connexive logic
- Situation-based connexive logic
- Stalnakerian connexive logics
- Dunn semantics for contra-classical logics
- Superconnexivity reconsidered
- Connexivity meets Church and Ackermann
- Inconsistency in Ceteris Paribus Imagination
- A basic system of paraconsistent Nelsonian logic of conditionals.
This page was built for publication: Connexive modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5483018)
