Blar i Department of Information Science and Media Studies på emneord "Modal logic"
Viser treff 1-2 av 2
-
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 ... -
What will they say?—Public Announcement Games
(Peer reviewed; Journal article, 2010-11-03)Dynamic epistemic logic describes the possible information-changingactions available to individual agents, and their knowledge pre- and post conditions.For example, public announcement logic describes actions in the form ...