Dynamic update with probabilities - Benthem, Johan van 1949-; Gerbrandy, Jelle; Kooi, Barteld (ILLC research report and technical notes series, 2006)