Coalition and Relativised Group Announcement Logic

被引：0
作者：
Rustam Galimullin
机构：
[1] University of Bergen,
来源：
Journal of Logic, Language and Information | 2021年 / 30卷
关键词：
Dynamic epistemic logic; Public announcement logic; Group announcement logic; Coalition announcement logic;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
There are several ways to quantify over public announcements. The most notable are reflected in arbitrary, group, and coalition announcement logics (APAL, GAL, and CAL correspondingly), with the latter being the least studied so far. In the present work, we consider coalition announcements through the lens of group announcements, and provide a complete axiomatisation of a logic with coalition announcements. To achieve this, we employ a generalisation of group announcements. Moreover, we study some logical properties of both coalition and group announcements that have not been studied before.
引用
收藏
页码：451 / 489
页数：38
相关论文
共 44 条
[1]  
Ågotnes T(2010)Group announcement logic Journal of Applied Logic 8 62-81
[2]  
Balbiani P(2011)What will they say? Public announcement games Synthese 179 57-85
[3]  
van Ditmarsch H(2016)The undecidability of quantified announcements Studia Logica 104 597-640
[4]  
Seban P(2017)Resolving distributed knowledge Artificial Intelligence 252 1-21
[5]  
Ågotnes T(2015)Putting right the wording and the proof of the truth lemma for APAL Journal of Applied Non-Classical Logics 25 2-19
[6]  
van Ditmarsch H(2008)Knowable’ as ‘known after an announcement Review of Symbolic Logic 1 305-334
[7]  
Ågotnes T(2015)A simple proof of the completeness of APAL Studies in Logic 8 65-78
[8]  
van Ditmarsch H(2001)Games in dynamic-epistemic logic Bulletin of Economic Research 53 219-248
[9]  
French T(2006)Logics of communication and change Information and Computation 204 1620-1662
[10]  
Ågotnes T(2014)Refinement modal logic Information and Computation 239 303-339
12345