Dynamic Update with Probabilities
Johan van Benthem, Jelle Gerbrandy, Barteld Kooi

Abstract:
Current dynamic-epistemic logics model different types of information change
in multi-agent scenarios. We propose a way to generalize these logics to a
probabilistic setting, obtaining a calculus for multi-agent update with
different slots for probability, and a matching dynamic logic of information
change that has a probabilistic character itself. We present a general
completeness result that not only holds for the particular logical system set
out in this paper, but for a larger class of dynamic probabilistic logics as
well. Finally, we discuss how our basic update rule can be parameterized for
different `update policies'.