Deakstadieđáhus: Dynamic Epistemic Logic