Putting right the wording and the proof of the Truth Lemma for APAL
Philippe Balbiani · Journal of Applied Non-Classical Logics · 2015
is an extension of public announcement logic. It is based on a modal operator that expresses what is true after any arbitrary announcement. An incorrect Truth Lemma has been stated and ‘demonstrated’ in Balbiani et al. (2008). In this paper, we put right the wording and the proof of the Truth Lemma for .