Putting right the wording and the proof of the Truth Lemma for APAL - Archive ouverte HAL
Article Dans Une Revue Journal of Applied Non-Classical Logics Année : 2015

Putting right the wording and the proof of the Truth Lemma for APAL

Résumé

APAL is an extension of public announcement logic. It is based on a modal operator that expresses what is true after any arbitrary announcement. A wrong Truth Lemma has been stated and "demonstrated" in a previous paper. In this paper, we put right the wording and the proof of the Truth Lemma for APAL.

Domaines

Intelligence artificielle [cs.AI] Apprentissage [cs.LG] Logique en informatique [cs.LO] Informatique et langage [cs.CL]
Fichier principal
Vignette du fichier
balbiani18900.pdf (370.98 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-01739993

Soumis le : mercredi 21 mars 2018-15:17:17

Dernière modification le : lundi 20 novembre 2023-11:44:23

Archivage à long terme le : jeudi 13 septembre 2018-07:24:38

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

Philippe Balbiani. Putting right the wording and the proof of the Truth Lemma for APAL. Journal of Applied Non-Classical Logics, 2015, 25 - 2015 (1), pp.2-19. ⟨10.1080/11663081.2015.1011489⟩. ⟨hal-01739993⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-LILAC IRIT-IA TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
76 Consultations
119 Téléchargements

Altmetric

Partager

More