Dynamic logics of evidence-based beliefs (Q647408)

Neighbourhood semantics have traditionally been used for analysing weak modal logics. The authors here deploy them in a different way to construct a possible-worlds semantics for the notion of evidence for a belief, and to articulate basic logics of actions managing that evidence. The paper is intended as the first in a series on the subject, with following ones relaxing various simplifying assumptions in the present text, such as the finiteness of the domain, absence of multiple agents, undifferentiated source for evidence, etc.