Rasmussen, M. S. “Dynamic Epistemic Logic and Logical Omniscience”. Logic and Logical Philosophy, vol. 24, no. 3, Aug. 2015, pp. 377–399, doi:10.12775/LLP.2015.014.