Show simple item record

dc.contributor.authorÅgotnes, Thomaseng
dc.contributor.authorDitmarsch, Hans vaneng
dc.identifier.citationSynthese 179(1): 57-85en
dc.description.abstractDynamic 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 form of public, truthful announcements. However, little research so far has considered describing and analysing rational choice between such actions, i.e., predictingwhat rational self-interested agents actually will or should do. Since the outcome of information exchange ultimately depends on the actions chosen by all the agents in the system, and assuming that agents have preferences over such outcomes, this is a game theoretic scenario. This is, in our opinion, an interesting general research direction, combining logic and game theory in the study of rational information exchange. In this article we take some first steps in this direction: we consider the case where available actions are public announcements, and where each agent has a (typically epistemic) goal formula that she would like to become true. What will each agent announce? The truth of the goal formula also depends on the announcements made by other agents. We analyse such public announcement games.en
dc.rightsAttribution-NonCommercial CC BY-NCeng
dc.subjectModal logiceng
dc.subjectEpistemic logiceng
dc.subjectAction logiceng
dc.subjectImperfect information gameseng
dc.titleWhat will they say?—Public Announcement Gameseng
dc.typePeer reviewedeng
dc.typeJournal articleeng
dc.subject.nsiVDP::Humanities: 000::Philosophical disciplines: 160::Logic: 163eng
dc.rights.holder©The Author(s) 2011
bora.peerreviewedPeer reviewedeng

Files in this item


This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial CC BY-NC
Except where otherwise noted, this item's license is described as Attribution-NonCommercial CC BY-NC