Undecidability for arbitrary public announcement logic

Tim French, Hans P. van Ditmarsch. Undecidability for arbitrary public announcement logic. In Carlos Areces, Robert Goldblatt, editors, Advances in Modal Logic 7, papers from the seventh conference on Advances in Modal Logic, held in Nancy, France, 9-12 September 2008. pages 23-42, College Publications, 2008. [doi]

Abstract

Abstract is missing.