Putting right the wording and the proof of the Truth Lemma for APAL
Résumé
APAL is an extension of public announcement logic. It is based on a modal operator that expresses what is true after any arbitrary announcement. A wrong Truth Lemma has been stated and "demonstrated" in a previous paper. In this paper, we put right the wording and the proof of the Truth Lemma for APAL.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...