Yì N. Wáng, Thomas Ågotnes. Subset Space Public Announcement Logic. In Kamal Lodaya, editor, Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings. Volume 7750 of Lecture Notes in Computer Science, pages 245-257, Springer, 2013. [doi]
Abstract is missing.