Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic

DOI10.1007/978-3-030-31136-0_17zbMath1469.03052OpenAlexW2998372335MaRDI QIDQ3305620

Ondrej Majer, Igor Sedlár

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

zbMATH Keywords

modal logiccompatibilityparaconsistent logicfirst-degree entailmentinconsistent informationsources of informationex falso quodlibetparaconsistent modal logic

Mathematics Subject Classification ID

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