Modal multilattice logic
From MaRDI portal
Publication:1682294
DOI10.1007/s11787-017-0172-5zbMath1404.03018OpenAlexW2736311032MaRDI QIDQ1682294
Yaroslav Shramko, Norihiro Kamide
Publication date: 29 November 2017
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-017-0172-5
Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Paraconsistent logics (03B53)
Related Items (9)
Compositional meaning in logic ⋮ Provability multilattice logic ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ Modal extension of ideal paraconsistent four-valued logic and its subsystem ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ Unnamed Item ⋮ Two proofs of the algebraic completeness theorem for multilattice logic ⋮ Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Truth and falsehood. An inquiry into generalized logical values
- Some useful 16-valued logics: How a computer network should think
- Proof systems combining classical and paraconsistent negations
- A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
- Intuitionistic logic with strong negation
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
- Intuitive semantics for first-degree entailments and `coupled trees'
- Reasoning with logical bilattices
- A hierarchy of weak double negations
- The algebra of topology
- Four-valued modal logic: Kripke semantics and duality
- The lattice of Belnapian modal logics: Special extensions and counterparts
- Symmetric and dual paraconsistent logics
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- Embedding from multilattice logic into classical logic and vice versa
- Truth, Falsehood, Information and Beyond: The American Plan Generalized
- Lattices with Interior and Closure Operators and Abstract Approximation Spaces
- Constructive negation, implication, and co-implication
- Constructible falsity and inexact predicates
- The Trilattice of Constructive Truth Values
- Trilattice logic: an embedding-based approach
- Algebraic semantics for modal logics I
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
- Constructible falsity
- Some theorems about the sentential calculi of Lewis and Heyting
This page was built for publication: Modal multilattice logic
