Tim French Hans P. van Ditmarsch Undecidability for arbitrary public announcement logic. 23-42 2008 Advances in Modal Logic http://www.aiml.net/volumes/volume7/French-vanDitmarsch.pdf conf/aiml/2008 db/conf/aiml/aiml2008.html#FrenchD08