\(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics

DOI10.1007/s11225-012-9380-4zbMath1283.03090OpenAlexW1992888677MaRDI QIDQ454381

E. I. Latkin, Sergei P. Odintsov

Publication date: 1 October 2012

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9380-4

zbMATH Keywords

lattice of subvarietiesBelnapian modal logicBK-latticetwist-structure

Mathematics Subject Classification ID

Lattices of varieties (08B15) Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10)

Related Items

Modal bilattice logic and its extensions ⋮ Hoop twist-structures ⋮ Disentangling \textsf{FDE}-based paraconsistent modal logics ⋮ BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES ⋮ The lattice of Belnapian modal logics: Special extensions and counterparts ⋮ Implicative twist-structures ⋮ 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 ⋮ Paraconsistent Modal Logics ⋮ Neighbourhood semantics for FDE-based modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On axiomatizing Shramko-Wansing's logic
• 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
• On extensions of intermediate logics by strong negation
• On the representation of \(\mathbf{N4}\)-lattices
• 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
• Constructible falsity

This page was built for publication: \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics