Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic
From MaRDI portal
Publication:3305620
DOI10.1007/978-3-030-31136-0_17zbMath1469.03052OpenAlexW2998372335MaRDI QIDQ3305620
Publication date: 10 August 2020
Published in: New Essays on Belnap-Dunn Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-31136-0_17
modal logiccompatibilityparaconsistent logicfirst-degree entailmentinconsistent informationsources of informationex falso quodlibetparaconsistent modal logic
Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Paraconsistent logics (03B53)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
- Everything else being equal: a modal logic for ceteris paribus preferences
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- Intuitive semantics for first-degree entailments and `coupled trees'
- Reasoning with logical bilattices
- Epistemic logics for sceptical agents
- The lattice of Belnapian modal logics: Special extensions and counterparts
- THE LOGIC OF JUSTIFICATION
- BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES
This page was built for publication: Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic