A simple proof of the completeness of APAL

Philippe Balbiani (1, 2) , Hans van Ditmarsch (3)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique
3 LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

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.

Mots clés: APAL

Domaines: Intelligence artificielle [cs.AI]; Apprentissage [cs.LG]; Logique en informatique [cs.LO]; Informatique et langage [cs.CL]

Philippe Balbiani, Hans van Ditmarsch. A simple proof of the completeness of APAL. Studies in Logic, 2015, 8, pp.65-78. ⟨hal-01740004⟩