Dynamic Epistemic Logic - Ditmarsch, Hans (Studies In Epistemology, Logic, Methodology, And Philosophy Of Science, 2007)