Blar i Department of Information Science and Media Studies på emneord "Modallogikk"
Viser treff 1-1 av 1
-
Coalition and Relativised Group Announcement Logic
(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 ...