[1]
M. S. Rasmussen, “Dynamic Epistemic Logic and Logical Omniscience”, LLP, vol. 24, no. 3, pp. 377–399, Aug. 2015.