Modal multilattice logic
From MaRDI portal
Recommendations
- Multi-dimensional modal logic
- scientific article; zbMATH DE number 35414
- Multi-dimensional semantics for modal logics
- Modal Hybrid Logic
- Modal-type orthomodular logic
- Modal bilattice logic and its extensions
- Publication:4489076
- scientific article; zbMATH DE number 4012571
- Many-dimensional modal logics: theory and applications
- Modal logic and model theory
Cites work
- scientific article; zbMATH DE number 3131074 (Why is no real title available?)
- scientific article; zbMATH DE number 3145226 (Why is no real title available?)
- scientific article; zbMATH DE number 3659563 (Why is no real title available?)
- scientific article; zbMATH DE number 3659568 (Why is no real title available?)
- scientific article; zbMATH DE number 35414 (Why is no real title available?)
- scientific article; zbMATH DE number 97789 (Why is no real title available?)
- scientific article; zbMATH DE number 3074070 (Why is no real title available?)
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
- A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
- A hierarchy of weak double negations
- Algebraic semantics for modal logics I
- Constructible falsity
- Constructible falsity and inexact predicates
- Constructive negation, implication, and co-implication
- Embedding from multilattice logic into classical logic and vice versa
- Four-valued modal logic: Kripke semantics and duality
- Intuitionistic logic with strong negation
- Intuitive semantics for first-degree entailments and `coupled trees'
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
- Lattices with Interior and Closure Operators and Abstract Approximation Spaces
- Modal logics with Belnapian truth values
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- Proof systems combining classical and paraconsistent negations
- Reasoning with logical bilattices
- Some theorems about the sentential calculi of Lewis and Heyting
- Some useful 16-valued logics: How a computer network should think
- Symmetric and dual paraconsistent logics
- The Trilattice of Constructive Truth Values
- The algebra of topology
- The lattice of Belnapian modal logics: special extensions and counterparts
- Trilattice logic: an embedding-based approach
- Truth and falsehood. An inquiry into generalized logical values
- Truth, falsehood, information and beyond: the American plan generalized
Cited in
(26)- Multi-dimensional modal logic
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- Algebraic completeness of connexive and bi-intuitionistic multilattice logics
- scientific article; zbMATH DE number 7297101 (Why is no real title available?)
- scientific article; zbMATH DE number 4031641 (Why is no real title available?)
- scientific article; zbMATH DE number 6215727 (Why is no real title available?)
- MEREOLOGICAL BIMODAL LOGICS
- Modal bilattice logic and its extensions
- Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
- On a multilattice analogue of a hypersequent S5 calculus
- Two proofs of the algebraic completeness theorem for multilattice logic
- Compositional meaning in logic
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
- A decidable multi-modal logic of context
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- A Modal Logic for Multiple-Source Tolerance Approximation Spaces
- Encoding modal logics in logical frameworks
- Mechanised modal model theory
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
- Forum: A multiple-conclusion specification logic
- Modulated logics and flexible reasoning
- Modular Markovian Logic
- Provability multilattice logic
- Levels of modality for BDI logic
- scientific article; zbMATH DE number 38137 (Why is no real title available?)
This page was built for publication: Modal multilattice logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1682294)
