The lattice of Belnapian modal logics: Special extensions and counterparts

DOI10.12775/LLP.2016.002zbMath1396.03034OpenAlexW2401565604MaRDI QIDQ2987755

Stanislav O. Speranski, Sergei P. Odintsov

Publication date: 18 May 2017

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2016.002

zbMATH Keywords

algebraic logicparaconsistent logicstrong negationmany-valued modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Paraconsistent logics (03B53)

Related Items (12)

Modal bilattice logic and its extensions ⋮ Modal multilattice logic ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Disentangling \textsf{FDE}-based paraconsistent modal logics ⋮ BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES ⋮ Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ Belnap-Dunn modal logic with value operators ⋮ Modal extension of ideal paraconsistent four-valued logic and its subsystem ⋮ 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
• Nelson algebras through Heyting ones. I
• The class of extensions of Nelson's paraconsistent logic
• On Belnapian modal algebras: representations, homomorphisms, congruences, and so on
• Constructive negations and paraconsistency
• On axiomatizing Shramko-Wansing's logic
• Where gamma fails
• Distributive lattices with a dual homomorphic operation
• Intuitionistic logic with strong negation
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Distributive lattices with an additional unary operation
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Tools and techniques in modal logic
• On extensions of intermediate logics by strong negation
• Intuitive semantics for first-degree entailments and `coupled trees'
• On the representation of \(\mathbf{N4}\)-lattices
• Reasoning with logical bilattices
• N-lattices and constructive logic with strong negation
• MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
• Twist-structures semantics for the logics of the hierarchy IⁿP^k
• Constructible falsity and inexact predicates
• Algebraizable logics
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Kripke Semantics for Modal Bilattice Logic
• Inconsistency Tolerance
• Constructible falsity

This page was built for publication: The lattice of Belnapian modal logics: Special extensions and counterparts