Evidence Logics with Relational Evidence

Alexandru Baltag, Andrés Occhipinti Liberman

Dynamic evidence logics are logics for reasoning about the evidence and evidence-based beliefs of agents in a dynamic environment. In this paper, we introduce a family of logics fo…