Modal bilattice logic and its extensions

DOI10.1007/S10469-022-09667-XOpenAlexW4225088810MaRDI QIDQ2145869FDOQ2145869

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

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

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)

Cites Work

• Title not available (Why is that?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• Reasoning with logical bilattices
• Constructive negations and paraconsistency
• Modal logics with Belnapian truth values
• \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
• Title not available (Why is that?)
• Kripke Semantics for Modal Bilattice Logic
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Four-valued modal logic: Kripke semantics and duality
• The lattice of Belnapian modal logics: Special extensions and counterparts
• A general framework for FDE-based modal logics
• BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES

Cited In (19)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the quantified version of the Belnap-Dunn modal logic
• Lattices of modal logics and their groups of automorphisms
• MEREOLOGICAL BIMODAL LOGICS
• Modal Logics and Group Polarization
• Levels of modality for BDI logic
• Title not available (Why is that?)
• 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
• Modal multilattice 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)