Undecidability for arbitrary public announcement logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Tim French' in GoogleThis author has not been identified. Look up 'Hans P. van Ditmarsch' in Google

runs on WebDSL