Skip to Main content Skip to Navigation
Conference papers

Reasons to believe in a social environment

Abstract : We present a logic which supports reasoning about an agent’s belief formation and belief change due to evidence provided by other agents in the society. We call this logic DEL-ES which stands for “Dynamic Epistemic Logic of Evidence Sources”. The term "evidence source" refers to an agent in the society who provides evidence to believe something to another agent. According to DEL-ES, if an agent has gathered a sufficient amount of evidence in support a given fact φ then, as a consequence, she should start to believe that φ is true. A sound and complete axiomatization for DEL-ES is given. We discuss some of its interesting properties and illustrate it in a concrete example from legal contexts.
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Wednesday, June 6, 2018 - 3:47:17 PM
Last modification on : Wednesday, June 15, 2022 - 4:16:56 AM
Long-term archiving on: : Friday, September 7, 2018 - 1:59:40 PM


Files produced by the author(s)


  • HAL Id : hal-01809286, version 1
  • OATAO : 19000


Fenrong Liu, Emiliano Lorini. Reasons to believe in a social environment. 13th International Conference on Deontic Logic in Computer Science (DEON 2016), Jul 2016, Bayreuth, Germany. pp.155-170. ⟨hal-01809286⟩



Record views


Files downloads