Browsing Bergen Open Research Archive by Author "Ditmarsch, Hans van"
Now showing items 1-1 of 1
-
What will they say?—Public Announcement Games
Ågotnes, Thomas; Ditmarsch, Hans van (Peer reviewed; Journal article, 2010-11-03)Dynamic epistemic logic describes the possible information-changingactions available to individual agents, and their knowledge pre- and post conditions.For example, public announcement logic describes actions in the form ...