Evidence-Based Beliefs in Many-Valued Modal Logics

Yuri David Santos

Research output: ThesisThesis fully internal (DIV)

65 Downloads (Pure)


Rational agents, humans or otherwise, build their beliefs from evidence – a process which we call consolidation. But how should this process be carried out? In this thesis, we study a multi-agent logic of evidence and the question how agents should form beliefs in this logic. The main contributions of this thesis are twofold. First, we present and study a many-valued modal logic, and show how it can be suitable for modelling multi-agent scenarios where each agent has access to some evidence, which in turn can be processed into beliefs. This is a technical and practical contribution to many-valued modal logics. Second, we open new paths for research in the field of evidence logics: we show a new approach based on many-valued logics, we highlight the concept of consolidations and the importance of looking at their dynamic nature, and build a methodology based on rationality postulates to evaluate them.
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • University of Groningen
  • Kooi, Barteld, Supervisor
  • Verbrugge, Rineke, Supervisor
  • Grossi, Davide, Assessment committee
  • Smets, Sonja, Assessment committee
  • Roy, O., Assessment committee, External person
Award date14-Jan-2021
Place of Publication[Groningen]
Publication statusPublished - 2021

Cite this