De DEL à EDL ou comment illustrer la puissance des événements inverses - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

De DEL à EDL ou comment illustrer la puissance des événements inverses

Résumé

Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. It turns out that converse events and epistemic accessibility relations can be easily introduced in PDL . We call EDL the resulting formalism. We then show that DEL can be translated into EDL thanks to this use of converse events. It follows that EDL is more expressive and general than DEL.
La logique épistémique dynamique (DEL) introduite par Baltag et col. et la logique propositionnelle dynamique (PDL) proposent différentes sémantiques aux événements. La seconde se prête facilement à l'introduction d'événements inverses et de relations d'accessibilité épistémiques. Nous appelons EDL le formalisme résultant. Nous montrons alors que DEL peut être traduit dans EDL grâce à cet emploi d'événements inverses. Il s'ensuit que EDL est plus expressive et générale que DEL.
Fichier principal
Vignette du fichier
De DEL à EDL.pdf (138.53 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03516654 , version 1 (16-02-2022)

Identifiants

  • HAL Id : hal-03516654 , version 1

Citer

Guillaume Aucher, Andreas Herzig. De DEL à EDL ou comment illustrer la puissance des événements inverses. 4èmes Journées francophones sur les Modèles Formels de l'Interaction (MFI 2007), May 2007, Paris, France. pp.253-260. ⟨hal-03516654⟩
26 Consultations
29 Téléchargements

Partager

Gmail Facebook X LinkedIn More