1 citations · 1 across the 3 of their papers we have counts for
3 papers · 1 filter
Anonymous Public Announcements
Thomas Ågotnes, Rustam Galimullin, Ken Satoh +1
We formalise the notion of an anonymous public announcement in the tradition of public announcement logic. Such announcements can be seen as in-between a public announcement from `…
Variations on distributed belief
John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes
Motivated by the search for forms of distributed belief that do not collapse in the face of conflicting information, this paper introduces the notions of cautious and bold distribu…
The Undecidability of Quantified Announcements
Thomas Ågotnes, Hans van Ditmarsch, Tim French
This paper demonstrates the undecidability of a number of logics with quantification over public announcements: arbitrary public announcement logic (APAL), group announcement logic…