Studia Logica

, 93:67

Dynamic Update with Probabilities

  • Johan van Benthem
  • Jelle Gerbrandy
  • Barteld Kooi
Open AccessArticle

DOI: 10.1007/s11225-009-9209-y

Cite this article as:
van Benthem, J., Gerbrandy, J. & Kooi, B. Stud Logica (2009) 93: 67. doi:10.1007/s11225-009-9209-y


Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic logics as well. Finally, we discuss how our basic update rule can be parameterized for different update policies, or learning methods.


probabilitydynamic epistemic logicupdateJeffrey’s rule
Download to read the full article text

Copyright information

© The Author(s) 2009

Authors and Affiliations

  • Johan van Benthem
    • 1
    • 2
  • Jelle Gerbrandy
    • 3
  • Barteld Kooi
    • 4
  1. 1.University of AmsterdamAmsterdamthe Netherlands
  2. 2.Stanford UniversityStanfordUSA
  3. 3.Universitá di TorinoTorinoItaly
  4. 4.University of GroningenGroningenthe Netherlands