Pacuit, Eric. "Dynamic Epistemic Logic: Parts I & II." Philosophy Compass 8, no. 9 (2013): 1-34.