Skip to content

Undecidability for arbitrary public announcement logic.

Tim French, Hans van Ditmarsch

VenueBAiML
Year2008
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.