Title :

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

Author(s) :

Magnier, Sébastien [Auteur]
Savoirs, Textes, Langage (STL) - UMR 8163 [STL]

Conference title :

Internal Symposium: Argumentation in Intensional Contexts: Knowledge, Belief, Dialogue

City :

Sevilla

Country :

Espagne

Start date of the conference :

2010-05

Book title :

Logic of Knowledge. Theory and Applications

Journal title :

DIALOGUES AND THE GAMES OF LOGIC: A PHILOSOPHICAL PERSPECTIVE

Publication date :

2012

English keyword(s) :

dialogue
public announcement
dialogical logic
knowledge
PAL
PAC
DEMAL

HAL domain(s) :

Sciences de l'Homme et Société/Philosophie
Mathématiques [math]/Logique [math.LO]

English abstract : [en]

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 ...
Show more >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.Show less >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

Collections :

• Savoirs, Textes, Langage (STL) - UMR 8163

Source :

Harvested from HAL