Skip to Main content Skip to Navigation
Conference papers

From paraconsistent three-valued logics to multiple-source epistemic logic

Abstract : Several interpretations can be given to the third truth value in three-valued logics. Here, we consider the case when it refers to the epistemic notion of contradictory, or both true and false at the same time. We study several paraconsistent three-valued logics that carry this concern and show that they can be translated into a fragment of a simple epistemic logic where modalities can only appear in front of literals. This logic is unusual in the sense that necessity modalities distribute over disjunctions instead of conjunctions. An equivalent translation into a fragment of KD modal logic can be obtained by exchanging the role of possibility and necessity modalities, highlighting the perfect symmetry between three-valued logics of contradiction and three-valued logics of incomplete information.
Keywords : Logic
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01212932
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Wednesday, October 7, 2015 - 3:06:35 PM
Last modification on : Friday, June 11, 2021 - 9:26:02 AM
Long-term archiving on: : Friday, January 8, 2016 - 10:47:06 AM

File

ciucci_12774.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01212932, version 1
  • OATAO : 12774

Citation

Davide Ciucci, Didier Dubois. From paraconsistent three-valued logics to multiple-source epistemic logic. 8th European Society For Fuzzy Logic And Technology Conference (EUSFLAT 2013), Sep 2013, Milan, Italy. pp. 780-787. ⟨hal-01212932⟩

Share

Metrics

Record views

180

Files downloads

367