The Undecidability of Quantified Announcements

Thomas Ã…gotnes, Hans van Ditmarsch, Timothy Stewart French. The Undecidability of Quantified Announcements. Studia Logica, 104(4):597-640, 2016. [doi]

Abstract

Abstract is missing.