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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://halshs.archives-ouvertes.fr/halshs-00742870
Contributor : Sébastien Magnier <>
Submitted on : Wednesday, October 17, 2012 - 2:29:30 PM
Last modification on : Tuesday, July 3, 2018 - 11:34:13 AM
Long-term archiving on : Saturday, December 17, 2016 - 1:51:45 AM

File

PAC_vs._DEMAL.pdf
Files produced by the author(s)

Identifiers

  • 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. pp.159-179. ⟨halshs-00742870⟩

Share

Metrics

Record views

244

Files downloads

241