OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A simple proof of the completeness of APAL

Balbiani, Philippe and van Ditmarsch, Hans A simple proof of the completeness of APAL. (2015) Studies in Logic, 8. 65-78. ISSN 1674-3202

[img]
Preview
(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 - INPT (FRANCE)
French research institutions > Institut National de la Recherche en Informatique et en Automatique - INRIA (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)
Other partners > Université de Lorraine (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:08 Mar 2018 10:34

Repository Staff Only: item control page