Now showing items 1-1 of 1

  • What will they say?—Public Announcement Games 

    Ågotnes, Thomas; Ditmarsch, Hans van (Springer, 2010-11-03)
    Dynamic epistemic logic describes the possible information-changing actions available to individual agents, and their knowledge pre- and post conditions. For example, public announcement logic describes actions in the ...