Coalition and Relativised Group Announcement Logic

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.

[1]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..

[2]  Philippe Balbiani,et al.  Putting right the wording and the proof of the Truth Lemma for APAL , 2015, J. Appl. Non Class. Logics.

[3]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.

[4]  Yanjing Wang,et al.  On axiomatizations of public announcement logic , 2013, Synthese.

[5]  Andreas Herzig,et al.  ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ , 2008, The Review of Symbolic Logic.

[6]  Sophie Pinchinat,et al.  Refinement modal logic , 2012, Inf. Comput..

[7]  Johan van Benthem,et al.  Logic in Games , 2014 .

[8]  Wiebe van der Hoek,et al.  On the definability of simulation and bisimulation in epistemic logic , 2014, J. Log. Comput..

[9]  Hans van Ditmarsch,et al.  The Undecidability of Quantified Announcements , 2016, Stud Logica.

[10]  Yì N. Wáng,et al.  Resolving distributed knowledge , 2017, Artif. Intell..

[11]  Barteld Kooi,et al.  Arbitrary arrow update logic , 2017, Artif. Intell..

[12]  Philippe Balbiani,et al.  Group announcement logic , 2010, J. Appl. Log..

[13]  J. Benthem.  Games in dynamic epistemic logic , 2001 .

[14]  Tiago De Lima,et al.  Alternating-time temporal dynamic epistemic logic , 2014, J. Log. Comput..

[15]  Marc Pauly,et al.  A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..

[16]  Yì N. Wáng,et al.  Public announcement logic with distributed knowledge: expressivity, completeness and complexity , 2013, Synthese.

[17]  Hans van Ditmarsch,et al.  What will they say?—Public Announcement Games , 2011, Synthese.