4 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
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…