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]

Possibly Related Publications

The following publications are possibly variants of this publication: