Fully Arbitrary Public Announcements
Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer · Advances in Modal Logic · 2016
In Arbitrary Public Announcement Logic (APAL) an operator is □used. The intended meaning of □lis every ϵ we have However, for technical reasons the semantics of APAL do not entirely match the intended meaning: in APAL the formula □lholds if and only if for every □free we have [ϵ].l Here we introduce Fully Arbitrary Public Announcement Logic (F-APAL), where the semantics do match the intended meaning: in F-APAL the formula □lholds if and only if for every we have [ϵ]l.