Reference: Yì N. Wáng and Thomas Ågotnes (2011). Public Announcement Logic with Distributed Knowledge. In Proceedings of LORI-III. LNCS Volume 6953, 328-341.