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