Group Announcements: Logic and Games (Abstract of Invited Talk)

摘要

The logic of truthful public announcements has been studied as an extension of traditional epistemic logic. The topic of this talk is group announcements, truthful public announcements made simultaneously by the members of a group of agents. I will discuss group announcements from two sides. First, the logic of group announcements can be studied by adding quantification over group announcements to the logical language. Second, the game theory of group announcements can be studied by assuming that each agent has preferences over epistemic states (here, represented as an epistemic goal formula).