Connexive modal logic
From MaRDI portal
Publication:5483018
zbMATH Open1107.03017MaRDI QIDQ5483018FDOQ5483018
Authors: Heinrich Wansing 
Publication date: 15 August 2006
Recommendations
Cited In (87)
- Losing connection: the modal logic of definable link deletion
- Connexive logics. An overview and current trends
- An invitation to new essays on Belnap-Dunn logic
- The semantic characterization of modal logical connectives
- Constructive negation, implication, and co-implication
- Towards a bridge over two approaches in connexive logic
- 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
- A dialectic contra-classical logic
- Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic
- Rewriting the history of connexive logic
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- Three ways of being non-material
- Dialogical connexive logic
- A Routley-Meyer affixing style semantics for logics containing Aristotle's thesis
- Modal Boolean connexive logics: semantics and tableau approach
- Relating semantics for connexive logic
- Natural deduction systems for Nelson's paraconsistent logic and its neighbors
- Negation of Conditionals in Natural Language and Thought
- Logical connectives for two-state semantics
- On split negation, strong negation, information, falsification, and verification
- Humble connexivity
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
- Connexive modal logic based on positive S4
- \textit{Per se} modality and natural implication -- an account of connexive logic in Robert Kilwardby
- A poly-connexive logic
- A Nelsonian Response to ‘the Most Embarrassing of All Twelfth-century Arguments’
- Weak negation in inquisitive semantics
- An infinity of intuitionistic connexive logics
- Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality
- Connexive extensions of regular conditional logic
- Paraconsistency in classical logic
- Provability multilattice logic
- SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION
- Title not available (Why is that?)
- Connexive restricted quantification
- An analysis of poly-connexivity
- History of relating logic. The origin and research directions
- Relevant connexive logic
- The nature of entailment: an informational approach
- Variable sharing in connexive logic
- Belnap-Dunn modal logics: truth constants vs. truth values
- Logics of nonsense and Parry systems
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
- Boolean connexive logics: semantics and tableau approach
- From paraconsistent logic to dialetheic logic
- On the methodology of paraconsistent logic
- Axiomatization of some basic and modal Boolean connexive logics
- On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
- A Critical Examination of the Historical Origins of Connexive Logic
- Connexive conditional logic. I
- Embedding friendly first-order paradefinite and connexive logics
- Poly-connexivity: connexive conjunction and disjunction
- Logical consequence in Avicenna's theory
- 40 years of FDE: an introductory overview
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- Peirce's triadic logic and its (overlooked) connexive expansion
- Connexive Gentzen
- Connexive Variants of Modal Logics Over FDE
- Aristotle's thesis in consistent and inconsistent logics
- Strongly semantic information as information about the truth
- Inconsistent models (and infinite models) for arithmetics with constructible falsity
- A Variant of Material Connexive Logic
- Connexivity meets Church and Ackermann
- On the role of Aristotle's connexive axioms in non-connexive logics
- Mortensen logics
- Finite tree-countermodels via refutation systems in extensions of positive logic with strong negation
- On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\)
- A note on synonymy in proof-theoretic semantics
- An intuitionistically complete system of basic intuitionistic conditional logic
- Logical multilateralism
- Connexive implications in substructural logics
- Connexive Principles After a ‘Classical’ Turn in Medieval Logic
- Dunn semantics for contra-classical logics
- Superconnexivity reconsidered
- A basic system of paraconsistent Nelsonian logic of conditionals.
- Inconsistency in Ceteris Paribus Imagination
- 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
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)
