A soundness & Completeness Proof on Dialogs and Dynamic Epistemic Logic

Abstract : Since Plaza [1989], which is most of the time considered as the inaugural paper on announcement logics in public communication contexts, a lot of papers on dynamic epistemic logics have been published. The most famous dynamic epistemic logic is known by the name of PAL (Public Announcement Logic). The logic PAC is an extension of PAL with the common knowledge operator (CG). Soundness and completeness proofs of those logics are presented in van Ditmarsch et al. [2008], in Balbiani et al. [2010] and in de Boer [2007]. Each of them used either a model-theoretic approach or a tableaux calculus. In the present paper, we propose an alternative approach to PAC based on the dialogical framework.
Type de document :
Article dans une revue
Logique et Analyse, Louvain: Centre national belge de recherche de logique. 2013, pp.24
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00873579
Contributeur : Sébastien Magnier <>
Soumis le : mercredi 16 octobre 2013 - 09:05:53
Dernière modification le : mardi 3 juillet 2018 - 11:46:51

Identifiants

  • HAL Id : hal-00873579, version 1

Collections

Citation

Sébastien Magnier, Tiago De Lima. A soundness & Completeness Proof on Dialogs and Dynamic Epistemic Logic. Logique et Analyse, Louvain: Centre national belge de recherche de logique. 2013, pp.24. 〈hal-00873579〉

Partager

Métriques

Consultations de la notice

358