Rasmussen, M. S. Dynamic Epistemic Logic and Logical Omniscience. LLP 2015, 24, 377–399.