Dynamic update with probabilities - Benthem, Johan van 1949-; Gerbrandy, Jelle; Kooi, Barteld (Inst. for Logic, Language and Computation, 2006)