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]

Authors

Hans P. van Ditmarsch

This author has not been identified. Look up 'Hans P. van Ditmarsch' in Google

Andreas Herzig

This author has not been identified. Look up 'Andreas Herzig' in Google

Tiago De Lima

This author has not been identified. Look up 'Tiago De Lima' in Google