TY - GEN
T1 - Group Announcement Logic with Distributed Knowledge.
AU - Galimullin, Rustam
AU - Ågotnes, Thomas
AU - Alechina, Natasha
N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.
PY - 2019
Y1 - 2019
N2 - Public announcement logic (PAL) is an extension of epistemic logic with dynamic operators that model the effects of all agents simultaneously and publicly acquiring the same piece of information. One of the extensions of PAL, group announcement logic (GAL), allows quantification over (possibly joint) announcements made by agents. In GAL, it is possible to reason about what groups can achieve by making such announcements. It seems intuitive that this notion of coalitional ability should be closely related to the notion of distributed knowledge, the implicit knowledge of a group. Thus, we study the extension of GAL with distributed knowledge, and in particular possible interaction properties between GAL operators and distributed knowledge. The perhaps surprising result is that there in fact are no interaction properties, contrary to intuition. We make this claim precise by providing a sound and complete axiomatisation of GAL with distributed knowledge.
AB - Public announcement logic (PAL) is an extension of epistemic logic with dynamic operators that model the effects of all agents simultaneously and publicly acquiring the same piece of information. One of the extensions of PAL, group announcement logic (GAL), allows quantification over (possibly joint) announcements made by agents. In GAL, it is possible to reason about what groups can achieve by making such announcements. It seems intuitive that this notion of coalitional ability should be closely related to the notion of distributed knowledge, the implicit knowledge of a group. Thus, we study the extension of GAL with distributed knowledge, and in particular possible interaction properties between GAL operators and distributed knowledge. The perhaps surprising result is that there in fact are no interaction properties, contrary to intuition. We make this claim precise by providing a sound and complete axiomatisation of GAL with distributed knowledge.
KW - Distributed knowledge
KW - Dynamic epistemic logic
KW - Group announcement logic
KW - Resolved distributed knowledge
U2 - 10.1007/978-3-662-60292-8_8
DO - 10.1007/978-3-662-60292-8_8
M3 - Conference Article in proceeding
AN - SCOPUS:85075660286
SN - 9783662602911
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 98
EP - 111
BT - Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings
A2 - Blackburn, Patrick
A2 - Lorini, Emiliano
A2 - Guo, Meiyun
PB - Springer
T2 - 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019
Y2 - 18 October 2019 through 21 October 2019
ER -