Studia Logica

, 99:61

Dynamic Logics of Evidence-Based Beliefs


DOI: 10.1007/s11225-011-9347-x

Cite this article as:
van Benthem, J. & Pacuit, E. Stud Logica (2011) 99: 61. doi:10.1007/s11225-011-9347-x


This paper adds evidence structure to standard models of belief, in the form of families of sets of worlds. We show how these more fine-grained models support natural actions of “evidence management”, ranging from update with external new information to internal rearrangement. We show how this perspective leads to new richer languages for existing neighborhood semantics for modal logic. Our main results are relative completeness theorems for the resulting dynamic logic of evidence.


Dynamic Logics of Belief RevisionNeighborhood Models for Modal Logic

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Institute for Logic, Language and ComputationUniversity of AmsterdamAmsterdamThe Netherlands
  2. 2.Department of PhilosophyStanford UniversityStanfordUSA
  3. 3.Tilburg Center for Logic and Philosophy of ScienceTilburg UniversityTilburgThe Netherlands