Exploring the power of converse events

Abstract : Dynamic epistemic logic as viewed by Baltag, Moss and Solecki (DEL) and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistemic logic by introducing so-called event 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. In this paper 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: it enables us to translate the structure of the event model directly within a particular axiomatization of EDL, without having to refer to a particular epistemic event model in the language (as done in DEL). It follows that EDL is more expressive and general than DEL and we characterize semantically and syntactically in EDL this embedding of DEL.
Type de document :
Chapitre d'ouvrage
Dynamic formal epistemology, Springer, pp.51-74, 2011
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

Contributeur : Guillaume Aucher <>
Soumis le : jeudi 29 septembre 2011 - 09:20:02
Dernière modification le : mercredi 12 septembre 2018 - 17:46:01
Document(s) archivé(s) le : vendredi 30 décembre 2011 - 02:21:16


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-00557002, version 2



Guillaume Aucher, Andreas Herzig. Exploring the power of converse events. Dynamic formal epistemology, Springer, pp.51-74, 2011. 〈hal-00557002v2〉



Consultations de la notice


Téléchargements de fichiers