BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES

DOI10.1017/S1755020319000121zbMath1506.03071OpenAlexW2915692292MaRDI QIDQ5107540

Stanislav O. Speranski, Sergei P. Odintsov

Publication date: 27 April 2020

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020319000121

zbMATH Keywords

algebraic logicstrong negationfirst-degree entailmentmany-valued modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (7)

Modal bilattice logic and its extensions ⋮ Relational semantics for normal topological quasi-Boolean logic ⋮ Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic ⋮ Belnap-Dunn modal logic with value operators ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ Neighbourhood semantics for FDE-based modal logics ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
• Residuated lattices. An algebraic glimpse at substructural logics
• On Belnapian modal algebras: representations, homomorphisms, congruences, and so on
• Constructive logic with strong negation is a substructural logic. I
• Constructive negations and paraconsistency
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• The value of the four values
• Tools and techniques in modal logic
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Reasoning with logical bilattices
• Paraconsistent Modal Logics
• The lattice of Belnapian modal logics: Special extensions and counterparts
• Constructive Logic with Strong Negation as a Substructural Logic
• Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
• On the expressive power of three-valued and four-valued languages
• From Paraconsistent Logic to Dialetheic Logic
• Kripke Semantics for Modal Bilattice Logic
• Belnap Constants and Nelson Logic

This page was built for publication: BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES