From Situation Calculus to Dynamic Epistemic Logic

Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima. From Situation Calculus to Dynamic Epistemic Logic. Journal of Logic and Computation, 21(2):179-204, 2011. [doi]

Abstract

Abstract is missing.