A soundness & Completeness Proof on Dialogs and Dynamic Epistemic Logic


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



    Upload a copy of this work     Papers currently archived: 86,213

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. College Publications. pp. 348-367.
Probabilistic dynamic epistemic logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Reference and perspective in intuitionistic logics.John Nolt - 2006 - Journal of Logic, Language and Information 16 (1):91-115.


Added to PP

39 (#339,424)

6 months
1 (#863,981)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references