1 paper
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 `…