Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
From MaRDI portal
Publication:2236504
Recommendations
Cites work
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
- A new four-valued approach to modal logic
- A propositional logic with subjunctive conditionals
- An expansion of first-order Belnap-Dunn logic
- An extended first-order Belnap-Dunn logic with classical negation
- Classical negation and expansions of Belnap-Dunn logic
- Classical relevant logics. I
- Classical relevant logics. II
- Connexive implication
- Connexive modal logic
- Constructible falsity
- Constructible falsity and inexact predicates
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- Embedding from multilattice logic into classical logic and vice versa
- Four-valued modal logic: Kripke semantics and duality
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
- Handbook of philosophical logic. Vol. 7
- scientific article; zbMATH DE number 3648682 (Why is no real title available?)
- scientific article; zbMATH DE number 3659563 (Why is no real title available?)
- scientific article; zbMATH DE number 35414 (Why is no real title available?)
- scientific article; zbMATH DE number 97789 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 596497 (Why is no real title available?)
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- scientific article; zbMATH DE number 3222098 (Why is no real title available?)
- scientific article; zbMATH DE number 3333259 (Why is no real title available?)
- scientific article; zbMATH DE number 3074070 (Why is no real title available?)
- Informational interpretation of substructural propositional logics
- Intuitionistic logic with strong negation
- Intuitive semantics for first-degree entailments and `coupled trees'
- Many-valued modal logics: a simple approach
- Modal logics with Belnapian truth values
- Modal multilattice logic
- New essays on Belnap-Dunn logic
- On a multilattice analogue of a hypersequent S5 calculus
- On the methodology of paraconsistent logic
- Paraconsistent double negations as classical and intuitionistic negations
- Partiality and its dual
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Proof theory of paraconsistent quantum logic
- Proof theory. Sequent calculi and related formalisms
- Propositional dynamic logic with Belnapian truth values
- Reasoning with logical bilattices
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- The class of extensions of Nelson's paraconsistent logic
- The lattice of Belnapian modal logics: special extensions and counterparts
- The logic of information structures
- The logic of paradox
- The value of the four values
Cited in
(12)- An extended first-order Belnap-Dunn logic with classical negation
- The normal and self-extensional extension of Dunn-Belnap logic
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
- scientific article; zbMATH DE number 3981153 (Why is no real title available?)
- Classical negation and expansions of Belnap-Dunn logic
- Herbrand and contraposition-elimination theorems for extended first-order Belnap-Dunn logic
- scientific article; zbMATH DE number 7576856 (Why is no real title available?)
- IMPROVING STRONG NEGATION
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5
- Kamide is in America, Moisil and Leitgeb are in Australia
- First-order intuitionistic Belnap-Dunn logic: proof-theoretic analysis of the American path
- Gentzen-type methods for bilattice negation
This page was built for publication: Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2236504)
