OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Balbiani, Philippe Putting right the wording and the proof of the Truth Lemma for APAL. (2015) Journal of Applied Non-Classical Logics, 25. 2-19. ISSN 1166-3081

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
379kB

Official URL: http://dx.doi.org/10.1080/11663081.2015.1011489

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.

Item Type:Article
Additional Information:Thanks to Taylor & Francis. The original PDF can be found at Journal of Applied Non-Classical Logics (ISSN: 1166-3081) website : https://www.tandfonline.com/doi/full/10.1080xxx https://www.tandfonline.com/doi/full/10.1080/11663081.2015.1011489
HAL Id:hal-01739993
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:07 Mar 2018 10:32

Repository Staff Only: item control page