PAC vs. DEMAL. A Dialogical Reconstruction of Public Announcement Logic with Common Knowledge: A Dialogical Reconstruction of Public Announcement Logic with Common Knowledge

Abstract : Since the work of Plaza (1989) about acts of public communication, a lot of dynamic epistemic logic systems have emerged. A general state of the art can be found in van Ditmarsch et al. (2007). Such logics model situations in which some announcements can be made and after an announcement, the situations which are incompatible with it are deleted from the model. In this paper we propose a reconstruction of the logic PAC (Public Announcement logic with Common Knowledge, see van Ditmarsch et al. (2007)) through the dialogical framework. The idea of this work is to rediscover announcements as acts: acts of an arguer during an argumentative dialogue about knowledge change of agents instead of "model-modifiers". We name this reconstruction DEMAL for Dialogical Epistemic Multi-Agent Logic.
Type de document :
Communication dans un congrès
Internal Symposium: Argumentation in Intensional Contexts: Knowledge, Belief, Dialogue, May 2010, Sevilla, Spain. 3, pp.159-179, 2012, DIALOGUES AND THE GAMES OF LOGIC: A PHILOSOPHICAL PERSPECTIVE
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://halshs.archives-ouvertes.fr/halshs-00742870
Contributeur : Sébastien Magnier <>
Soumis le : mercredi 17 octobre 2012 - 14:29:30
Dernière modification le : mardi 3 juillet 2018 - 11:34:13
Document(s) archivé(s) le : samedi 17 décembre 2016 - 01:51:45

Fichier

PAC_vs._DEMAL.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : halshs-00742870, version 1

Collections

Citation

Sébastien Magnier. PAC vs. DEMAL. A Dialogical Reconstruction of Public Announcement Logic with Common Knowledge: A Dialogical Reconstruction of Public Announcement Logic with Common Knowledge. Internal Symposium: Argumentation in Intensional Contexts: Knowledge, Belief, Dialogue, May 2010, Sevilla, Spain. 3, pp.159-179, 2012, DIALOGUES AND THE GAMES OF LOGIC: A PHILOSOPHICAL PERSPECTIVE. 〈halshs-00742870〉

Partager

Métriques

Consultations de la notice

225

Téléchargements de fichiers

212