Modal bilattice logic and its extensions

DOI10.1007/S10469-022-09667-XMaRDI QIDQ2145869zbMATH OpenOpenAlexFDO

Authors S. O. Speranskij

Publication date 15 June 2022

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10469-022-09667-x

zbMATH Keywords

strong negationalgebraic logicfirst-degree entailmentmany-valued modal logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Group theory and generalizations (20-XX)

Recommendations

• Kripke semantics for modal bilattice logic
• The lattice of Belnapian modal logics: special extensions and counterparts
• What is the upper part of the lattice of bimodal logics?
• Lattices of four-valued modal logics
• Modal multilattice logic

Cites work

• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• A general framework for FDE-based modal logics
• Belnap-Dunn modal logics: truth constants vs. truth values
• Constructive negations and paraconsistency
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Four-valued modal logic: Kripke semantics and duality
• Intuitive semantics for first-degree entailments and `coupled trees'
• Kripke semantics for modal bilattice logic
• Modal logics with Belnapian truth values
• Reasoning with logical bilattices
• The lattice of Belnapian modal logics: special extensions and counterparts
• \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics

Cited in

(23)

• scientific article; zbMATH DE number 1157127 (Why is no real title available?)
• scientific article; zbMATH DE number 38137 (Why is no real title available?)
• scientific article; zbMATH DE number 6423950 (Why is no real title available?)
• Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
• On the quantified version of the Belnap-Dunn modal logic
• Lattices of modal logics and their groups of automorphisms
• MEREOLOGICAL BIMODAL LOGICS
• Levels of modality for BDI logic
• Modal Logics and Group Polarization
• scientific article; zbMATH DE number 4134011 (Why is no real title available?)
• What is the upper part of the lattice of bimodal logics?
• Modal companions of intermediate propositional logics
• On bimodal logics of provability
• Reasoning with logical bilattices
• Interconnection of the lattices of extensions of four logics
• Modal multilattice logic
• The lattice of Belnapian modal logics: special extensions and counterparts
• Kripke semantics for modal bilattice logic
• Exemplaric Expressivity of Modal Logics
• Note on extending congruential modal logics
• Modulated logics and flexible reasoning
• Bialgebraic methods and modal logic in structural operational semantics
• Encoding modal logics in logical frameworks

This page was built for publication: Modal bilattice logic and its extensions

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