From DEL to EDL: Exploring the Power of Converse Events

  • Guillaume Aucher
  • Andreas Herzig
Conference paper

DOI: 10.1007/978-3-540-75256-1_20

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4724)
Cite this paper as:
Aucher G., Herzig A. (2007) From DEL to EDL: Exploring the Power of Converse Events. In: Mellouli K. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2007. Lecture Notes in Computer Science, vol 4724. Springer, Berlin, Heidelberg

Abstract

Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistemic logic by introducing so-called epistemic action models as syntactic objects into the language. On the other hand, PDL has instead transition relations between possible worlds. This last approach allows to easily introduce converse events. We add epistemics to this, and call the resulting logic epistemic dynamic logic (EDL). We show that DEL can be translated into EDL thanks to this use of the converse operator: this device enables us to translate the structure of the action (or event) model directly within a particular axiomatization of EDL, without having to refer to a particular epistemic action (event) model in the language (as done in DEL). It follows that EDL is more expressive and general than DEL.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Guillaume Aucher
    • 1
  • Andreas Herzig
    • 1
  1. 1.University of Otago (NZ) - University Paul Sabatier (F) IRIT, Université Paul SabatierToulouse Cedex (F)France

Personalised recommendations