A general framework for FDE-based modal logics
From MaRDI portal
Recommendations
- Proof systems for various \textsf{FDE}-based modal logics
- scientific article; zbMATH DE number 140385
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- scientific article; zbMATH DE number 1523046
- Connexive Variants of Modal Logics Over FDE
- Frege systems for extensible modal logics
- General frames for relevant modal logics
- Frames for fusions of modal logics
- Neighbourhood semantics for FDE-based modal logics
- Encoding modal logics in logical frameworks
Cites work
- 40 years of FDE: an introductory overview
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
- Constructible falsity
- Constructible falsity and inexact predicates
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- Four-valued modal logic: Kripke semantics and duality
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3648682 (Why is no real title available?)
- scientific article; zbMATH DE number 3884136 (Why is no real title available?)
- scientific article; zbMATH DE number 5000988 (Why is no real title available?)
- scientific article; zbMATH DE number 3950488 (Why is no real title available?)
- scientific article; zbMATH DE number 3780545 (Why is no real title available?)
- scientific article; zbMATH DE number 1852922 (Why is no real title available?)
- Kripke semantics for modal bilattice logic
- Many-valued modal logics: a simple approach
- Modal logics with Belnapian truth values
- Modal Operators over Constructive Logic
- Models for normal intuitionistic modal logics
- Paraconsistent modal logic
- Partiality and its dual
- Positive modal logic
- Reasoning with logical bilattices
Cited in
(11)- 40 years of FDE: an introductory overview
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- Neighbourhood semantics for FDE-based modal logics
- Modal bilattice logic and its extensions
- Generalised modal realisation as a practical and efficient tool for FWL implementation
- FDE as a Base for Constructive Logic
- On definability of connectives and modal logics over \textbf{FDE}
- Proof systems for various \textsf{FDE}-based modal logics
- Weak Belnapian modal logic
- Fuzzy bi-Gödel modal logic and its paraconsistent relatives
- Knowledge and ignorance in Belnap-Dunn logic
This page was built for publication: A general framework for FDE-based modal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2027214)
