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
|
(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
