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.
| Origine | Fichiers éditeurs autorisés sur une archive ouverte |
|---|