# A Logic for Global and Local Announcements

27 Jul 2017Francesco BelardinelliHans van DitmarschWiebe van der Hoek

In this paper we introduce {\em global and local announcement logic} (GLAL), a dynamic epistemic logic with two distinct announcement operators -- $[\phi]^+_A$ and $[\phi]^-_A$ indexed to a subset $A$ of the set $Ag$ of all agents -- for global and local announcements respectively. The boundary case $[\phi]^+_{Ag}$ corresponds to the public announcement of $\phi$, as known from the literature... (read more)

PDF Abstract

No code implementations yet. Submit your code now