Evidence-Based Beliefs in Many-Valued Modal Logics

Yuri David Santos


546 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.
Originele taal-2English
KwalificatieDoctor of Philosophy
Toekennende instantie
  • Rijksuniversiteit Groningen
  • Kooi, Barteld, Supervisor
  • Verbrugge, Rineke, Supervisor
Datum van toekenning14-jan.-2021
Plaats van publicatie[Groningen]
StatusPublished - 2021

Citeer dit