Logical Dynamics of Evidence

  • Johan van Benthem
  • Eric Pacuit
Conference paper

DOI: 10.1007/978-3-642-24130-7_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6953)
Cite this paper as:
van Benthem J., Pacuit E. (2011) Logical Dynamics of Evidence. In: van Ditmarsch H., Lang J., Ju S. (eds) Logic, Rationality, and Interaction. LORI 2011. Lecture Notes in Computer Science, vol 6953. Springer, Berlin, Heidelberg


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Johan van Benthem
    • 1
  • Eric Pacuit
    • 2
  1. 1.ILLC, University of Amsterdam and Stanford UniversityNetherlands
  2. 2.Tilburg Institute for Logic and Philosophy of ScienceNetherlands

Personalised recommendations