Putting right the wording and the proof of the Truth Lemma for APAL

Authors
Publication date
1 April 2015
Publisher
'Informa UK Limited'
Doi

    Abstract

    International audienceAPAL 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

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Archive Ouverte en Sciences de l'Information et de la Communication

      redirect
      oaioai:HAL:hal-01739993v1
      Last time updated on 09/04/2018

      Open Archive Toulouse Archive Ouverte

      redirect
      oaioai:oatao.univ-toulouse.fr:189...
      Last time updated on 22/03/2018

      Scientific Publications of the University of Toulouse II Le Mirail

      redirect
      oaioai:HAL:hal-01739993v1
      Last time updated on 10/04/2018