A simple proof of the completeness of APAL - Archive ouverte HAL
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.

Mots clés

APAL

Domaines

Intelligence artificielle [cs.AI] Apprentissage [cs.LG] Logique en informatique [cs.LO] Informatique et langage [cs.CL]
Fichier principal
Vignette du fichier
balbiani_18902.pdf (243.91 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Open Archive Toulouse Archive Ouverte (OATAO)  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01740004

Soumis le : mercredi 21 mars 2018-15:20:01

Dernière modification le : mercredi 24 janvier 2024-11:56:14

Archivage à long terme le : jeudi 13 septembre 2018-10:11:20

Télécharger pour visualiser

Dates et versions

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

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS INRIA UT1-CAPITOLE UNIV-LORRAINE LORIA IRIT IRIT-LILAC IRIT-IA TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
96 Consultations
77 Téléchargements

Altmetric

Partager

More