From DEL to EDL: exploring the power of converse events - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2007

From DEL to EDL: exploring the power of converse events

Résumé

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, logicPDL 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.
Fichier principal
Vignette du fichier
ecsqaruEDL.pdf (270.34 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03516649 , version 1 (10-01-2022)

Identifiants

  • HAL Id : hal-03516649 , version 1

Citer

Guillaume Aucher, Andreas Herzig. From DEL to EDL: exploring the power of converse events. [Research Report] IRIT : Institut de recherche en informatique de Toulouse. 2007. ⟨hal-03516649⟩
45 Consultations
48 Téléchargements

Partager

Gmail Facebook X LinkedIn More