• Coalition and Relativised Group Announcement Logic 

      Galimullin, Rustam (Journal article; Peer reviewed, 2021)
      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 ...