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 .
Type de document :
Pré-publication, Document de travail
ANNALES DU LAMSADE N°8. 2007
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00192061
Contributeur : Marie-Hélène Hugonnard-Roche <>
Soumis le : lundi 26 novembre 2007 - 14:48:22
Dernière modification le : jeudi 11 janvier 2018 - 06:21:34
Document(s) archivé(s) le : lundi 12 avril 2010 - 05:10:27

Fichier

AN8LAMSADE_253-260.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00192061, version 1

Collections

Citation

Guillaume Aucher, Andreas Herzig. De DEL à EDL ou comment illustrer la puissance des événements inverses. ANNALES DU LAMSADE N°8. 2007. 〈hal-00192061〉

Partager

Métriques

Consultations de la notice

108

Téléchargements de fichiers

132