A simple proof of the completeness of APAL - Archive ouverte HAL Access content directly
Journal Articles Studies in Logic Year : 2015

A simple proof of the completeness of APAL

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.
Fichier principal
Vignette du fichier
balbiani_18902.pdf (243.91 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook X LinkedIn More