Evidence is the underpinning of beliefs and knowledge. Modeling evidence for an agent requires a more fine-grained semantics than possible worlds models. We do this in the form of "neighbourhood models", originally proposed for weak modal logics. We show how these models support natural actions of "evidence management", ranging from update with external new information to internal rearrangement. This perspective leads to richer languages for neighborhood semantics, including modalities for new kinds of conditional evidence and conditional belief. Using these, we indicate how one can obtain relative completeness theorems for the dynamic logic of evidence-changing actions. © 2011 Springer-Verlag.
CITATION STYLE
Van Benthem, J., & Pacuit, E. (2011). Logical dynamics of evidence. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6953 LNAI, pp. 1–27). https://doi.org/10.1007/978-3-642-24130-7_1
Mendeley helps you to discover research relevant for your work.