Probabilistic dynamic epistemic logic
scientific article; zbMATH DE number 1973353