Reduction axioms for epistemic actions

&

Abstract

Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added. In this paper we propose new versions that extend the underlying static epistemic language in such a way that dynamic completeness proofs can be obtained by perspicuous reduction axioms.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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.

My notes

Similar books and articles

Games in Dynamic-Epistemic Logic.Johan van Benthem - unknown
Common Knowledge in Update Logics.Johan van Benthem - unknown
Common knowledge in update logics.Jan van Eijck - unknown
Reducing dynamic epistemic logic to pdl by program transformation.Jan van Eijck - unknown
Logics of Communication and Change. van Benthem, Johan, van Eijck, Jan & Kooi, Barteld - unknown
Expressivity and completeness for public update logics via reduction axioms.Barteld Kooi - 2007 - Journal of Applied Non-Classical Logics 17 (2):231-253.
Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
Comments on 'modal fixed point logic and changing models'.Jan van Eijck - unknown
Reduction axioms for epistemic actions.Johan van Benthem & Barteld Kooi - unknown

Analytics

Added to PP
2010-07-26

Downloads
1 (#1,886,728)

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author Profiles

Barteld Kooi
University of Groningen
Johan Van Benthem
University of Amsterdam

Citations of this work

Expressivity and completeness for public update logics via reduction axioms.Barteld Kooi - 2007 - Journal of Applied Non-Classical Logics 17 (2):231-253.
Dynamic Epistemic Logic for Implicit and Explicit Beliefs.Fernando R. Velázquez-Quesada - 2014 - Journal of Logic, Language and Information 23 (2):107-140.

View all 11 citations / Add more citations

References found in this work

No references found.

Add more references