Skip to Main content Skip to Navigation
Journal articles

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

Philippe Balbiani 1
1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
Abstract : 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.
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01739993
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Wednesday, March 21, 2018 - 3:17:17 PM
Last modification on : Sunday, June 14, 2020 - 3:28:33 AM
Long-term archiving on: : Thursday, September 13, 2018 - 7:24:38 AM

File

balbiani18900.pdf
Files produced by the author(s)

Identifiers

Citation

Philippe Balbiani. Putting right the wording and the proof of the Truth Lemma for APAL. Journal of Applied Non-Classical Logics, Taylor & Francis, 2015, vol. 25, pp. 2-19. ⟨10.1080/11663081.2015.1011489⟩. ⟨hal-01739993⟩

Share

Metrics

Record views

238

Files downloads

524