BK-lattices. Algebraic semantics for Belnapian modal logics
From MaRDI portal
Publication:454381
Recommendations
- On Belnapian modal algebras: representations, homomorphisms, congruences, and so on
- The lattice of Belnapian modal logics: special extensions and counterparts
- Algebraic semantics for Fischer Servi's version of modal logic \(\mathbf{BK}\)
- Modal twist-structures over residuated lattices
- Belnap-Dunn modal logics: truth constants vs. truth values
Cites work
- Algebraic Semantics for Paraconsistent Nelson's Logic
- Algebraizable logics
- An introduction to non-classical logic. From if to is
- Constructible falsity
- Constructible falsity and inexact predicates
- Distributive lattices with a dual homomorphic operation
- Distributive lattices with an additional unary operation
- scientific article; zbMATH DE number 3659563 (Why is no real title available?)
- Intuitionistic logic with strong negation
- Many-valued modal logics: a simple approach
- Modal logics with Belnapian truth values
- N-lattices and constructive logic with strong negation
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- On axiomatizing Shramko-Wansing's logic
- On extensions of intermediate logics by strong negation
- On the representation of \(\mathbf{N4}\)-lattices
- Twist-structures semantics for the logics of the hierarchy \(I^nP^k\)
Cited in
(19)- Disentangling \textsf{FDE}-based paraconsistent modal logics
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- Neighbourhood semantics for FDE-based modal logics
- Modal bilattice logic and its extensions
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- Belnap-Dunn modal logic with value operators
- Implicative twist-structures
- Paraconsistent modal logics
- The lattice of Belnapian modal logics: special extensions and counterparts
- Modelling sources of inconsistent information in paraconsistent modal logic
- Hoop twist-structures
- On a multilattice analogue of a hypersequent S5 calculus
- Belnap-Dunn modal logics: truth constants vs. truth values
- Algebraic semantics for Fischer Servi's version of modal logic \(\mathbf{BK}\)
- Modal twist-structures over residuated lattices
- On the quantified version of the Belnap-Dunn modal logic
- Modal companions for the special extensions of Nelson's constructive logic
- On Belnapian modal algebras: representations, homomorphisms, congruences, and so on
- Generalised \(\mathbf{BK}\)-frames
This page was built for publication: \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q454381)
