Algebraic semantics for Fischer Servi's version of modal logic BK

MaRDI QIDQ5149141zbMATH OpenFDO

Authors S. P. Odintsov

Publication date 6 February 2021

zbMATH Keywords

\textsf{FDE}-based modal logicequivalent algebraic semanticslattice of logicstwist structure

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
• On Belnapian modal algebras: representations, homomorphisms, congruences, and so on
• scientific article; zbMATH DE number 1215479
• Modal twist-structures over residuated lattices
• Kripke semantics for modal bilattice logic

Cited in

(1)

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

This page was built for publication: Algebraic semantics for Fischer Servi's version of modal logic \(\mathbf{BK}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5149141)