Connexive modal logic
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Aristotle's thesis in consistent and inconsistent logics
- The semantic characterization of modal logical connectives
- A Routley-Meyer affixing style semantics for logics containing Aristotle's thesis
- 40 years of FDE: an introductory overview
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- Logics of nonsense and Parry systems
- Variable sharing in connexive logic
- Axiomatization of some basic and modal Boolean connexive logics
- Embedding friendly first-order paradefinite and connexive logics
- Poly-connexivity: connexive conjunction and disjunction
- Relating semantics for connexive logic
- Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic
- Three ways of being non-material
- Rewriting the history of connexive logic
- An analysis of poly-connexivity
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic
- Paraconsistency in classical logic
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- Logical consequence in Avicenna's theory
- Connexive restricted quantification
- Weak negation in inquisitive semantics
- On split negation, strong negation, information, falsification, and verification
- An invitation to new essays on Belnap-Dunn logic
- Connexive logics. An overview and current trends
- Inconsistent models (and infinite models) for arithmetics with constructible falsity
- Relevant connexive logic
- Boolean connexive logics: semantics and tableau approach
- \textit{Per se} modality and natural implication -- an account of connexive logic in Robert Kilwardby
- Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality
- Humble connexivity
- Towards a bridge over two approaches in connexive logic
- Connexive conditional logic. I
- Connexive extensions of regular conditional logic
- Constructive negation, implication, and co-implication
- Natural deduction systems for Nelson's paraconsistent logic and its neighbors
- On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
- Connexive Gentzen
- Connexive modal logic based on positive S4
- scientific article; zbMATH DE number 1414360 (Why is no real title available?)
- A poly-connexive logic
- Peirce's triadic logic and its (overlooked) connexive expansion
- Connexive Variants of Modal Logics Over FDE
- On the role of Aristotle's connexive axioms in non-connexive logics
- Negation of Conditionals in Natural Language and Thought
- History of relating logic. The origin and research directions
- SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION
- An extension of connexive logic C
- Belnap-Dunn modal logics: truth constants vs. truth values
- Modal Boolean connexive logics: semantics and tableau approach
- Losing connection: the modal logic of definable link deletion
- Inconsistency in Ceteris Paribus Imagination
- From paraconsistent logic to dialetheic logic
- On the methodology of paraconsistent logic
- Strongly semantic information as information about the truth
- A Critical Examination of the Historical Origins of Connexive Logic
- Dialogical connexive logic
- Provability multilattice logic
- A Nelsonian Response to ‘the Most Embarrassing of All Twelfth-century Arguments’
- On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\)
- Logical connectives for two-state semantics
- The nature of entailment: an informational approach
- Connexive logic, connexivity, and connexivism: remarks on terminology
- An algebraic investigation of the connexive logic \(\mathsf{C}\)
- A simple way to overcome hyperconnexivity
- Intuitionistic logic is a connexive logic
- Angell and McCall meet Wansing
- Boolean connexive logic and content relationship
- Situation-based connexive logic
- Stalnakerian connexive logics
- Connexive negation
- An infinity of intuitionistic connexive logics
- Logical multilateralism
- Finite tree-countermodels via refutation systems in extensions of positive logic with strong negation
- A dialectic contra-classical logic
- A Variant of Material Connexive Logic
- Connexivity meets Church and Ackermann
- A note on synonymy in proof-theoretic semantics
- An intuitionistically complete system of basic intuitionistic conditional logic
- Connexive implications in substructural logics
- Connexive Principles After a ‘Classical’ Turn in Medieval Logic
- Superconnexivity reconsidered
- Mortensen logics
- Dunn semantics for contra-classical logics
- A basic system of paraconsistent Nelsonian logic of conditionals.
- Analytic calculi for logics of indicative conditionals
- Indicative conditionals: some algebraic considerations
- Connexive arithmetic formulated relevantly
- Negation-cohesive connectives: a generalization of connexivity
- Aristotle's dilemma
- Quantifiers in connexive logic (in general and in particular)
- Connexive logic: new old challenges
- Dummett's theory of truth as a source of connexivity
- Bi-connexive logic, bilateralism, and negation inconsistency
- Meaning and identity of proofs in a bilateralist setting: a two-sorted typed lambda-calculus for proofs and refutations
- Ten open problems in connexive logic
- Another generalization of connexive logic C
- Conditionals, support and connexivity
- Relevant semantics for connexive logics
- Flavors of connexivity
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)
