From Situation Calculus to Dynamic Epistemic Logic | Publicación