Balbiani, Philippe
and Van Ditmarsch, Hans
A simple proof of the completeness of APAL.
(2015)
Studies in Logic, 8. 65-78. ISSN 1674-3202
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 249kB |
Abstract
We provide a simple proof of the completeness of arbitrary public announcement logic APAL. The proof is an improvement over the proof found in a previous paper.
| Item Type: | Article |
|---|---|
| Additional Information: | Thanks to Institute of Logic and Cognition, Key Research Institue un University : http://logic.sysu.edu.cn/en |
| HAL Id: | hal-01740004 |
| Audience (journal): | International peer-reviewed journal |
| Uncontrolled Keywords: | |
| Institution: | French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE) French research institutions > Institut National de la Recherche en Informatique et en Automatique - INRIA (FRANCE) Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE) Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE) Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE) Other partners > Université de Lorraine (FRANCE) |
| Laboratory name: | |
| Statistics: | download |
| Deposited On: | 08 Mar 2018 10:34 |
Repository Staff Only: item control page
