Article Dans Une Revue Studies in Logic Année : 2015

A simple proof of the completeness of APAL

Résumé

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.

Fichier principal
Vignette du fichier
balbiani_18902.pdf (243.91 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-01740004 , version 1 (21-03-2018)

Licence

Identifiants

Citer

Philippe Balbiani, Hans van Ditmarsch. A simple proof of the completeness of APAL. Studies in Logic, 2015, 8, pp.65-78. ⟨hal-01740004⟩
154 Consultations
220 Téléchargements

Altmetric

Partager

  • More