Coalition and Relativised Group Announcement Logic

被引:8
|
作者
Galimullin, Rustam [1 ]
机构
[1] Univ Bergen, Bergen, Norway
关键词
Dynamic epistemic logic; Public announcement logic; Group announcement logic; Coalition announcement logic;
D O I
10.1007/s10849-020-09327-2
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
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
页数:39
相关论文
共 26 条
  • [1] Coalition and Relativised Group Announcement Logic
    Rustam Galimullin
    Journal of Logic, Language and Information, 2021, 30 : 451 - 489
  • [2] Verification and Strategy Synthesis for Coalition Announcement Logic
    Alechina, Natasha
    van Ditmarsch, Hans
    Galimullin, Rustam
    Wang, Tuo
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2021, 30 (04) : 671 - 700
  • [3] Verification and Strategy Synthesis for Coalition Announcement Logic
    Natasha Alechina
    Hans van Ditmarsch
    Rustam Galimullin
    Tuo Wang
    Journal of Logic, Language and Information, 2021, 30 : 671 - 700
  • [4] Model Checking for Coalition Announcement Logic
    Galimullin, Rustam
    Alechina, Natasha
    van Ditmarsch, Hans
    KI 2018: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, 11117 : 11 - 23
  • [5] Group announcement logic
    Agotnes, Thomas
    Balbiani, Philippe
    van Ditmarsch, Hans
    Seban, Pablo
    JOURNAL OF APPLIED LOGIC, 2010, 8 (01) : 62 - 81
  • [6] Arbitrary Public Announcement Logic with Memory
    Baltag, Alexandru
    Ozgun, Aybuke
    Sandoval, Ana Lucia Vargas
    JOURNAL OF PHILOSOPHICAL LOGIC, 2023, 52 (01) : 53 - 110
  • [7] Arbitrary Public Announcement Logic with Memory
    Alexandru Baltag
    Aybüke Özgün
    Ana Lucia Vargas Sandoval
    Journal of Philosophical Logic, 2023, 52 : 53 - 110
  • [8] On axiomatizations of public announcement logic
    Wang, Yanjing
    Cao, Qinxiang
    SYNTHESE, 2013, 190 : 103 - 134
  • [9] On axiomatizations of public announcement logic
    Yanjing Wang
    Qinxiang Cao
    Synthese, 2013, 190 : 103 - 134
  • [10] Tableaux for Public Announcement Logic
    Balbiani, Philippe
    Van Ditmarsch, Hans
    Herzig, Andreas
    De Lima, Tiago
    JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (01) : 55 - 76