Modal bilattice logic and its extensions
From MaRDI portal
Publication:2145869
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
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)