De DEL à EDL ou comment illustrer la puissance des événements inverses - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2007

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

Résumé

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

Dates et versions

hal-00192061 , version 1 (26-11-2007)

Identifiants

  • HAL Id : hal-00192061 , version 1

Citer

Guillaume Aucher, Andreas Herzig. De DEL à EDL ou comment illustrer la puissance des événements inverses. 2007. ⟨hal-00192061⟩
117 Consultations
143 Téléchargements

Partager

Gmail Facebook X LinkedIn More