Group announcements: logic and games

Authors:
Thomas Ågotnes
Affiliations:
Department of Information Science and Media Studies, University of Bergen, Bergen, Norway
Venue:
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Year:
2010

Citing 9
Cited 0

Reasoning about knowledge

Reasoning about knowledge
Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
Alternating-time temporal logic

Journal of the ACM (JACM)
Reasoning about Information Change

Journal of Logic, Language and Information
Boolean games

TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Agents that Know How to Play

Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability

TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Coalitions and announcements

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Dynamic Epistemic Logic

Dynamic Epistemic Logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

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).