A Succinct Language for Dynamic Epistemic Logic (long version) - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2017

A Succinct Language for Dynamic Epistemic Logic (long version)

Résumé

Dynamic epistemic logic (DEL) is an extension of modal multi-agent epistemic logic with dynamic operators. We propose a succinct version of DEL where Kripke models and event models are described succinctly. Our proposal relies on Dynamic logic of propositional assignments (DLPA): epistemic relations are described with so-called accessibility programs written in DLPA. We give examples of models that are exponentially more succinct in our framework. Interestingly, the model checking of DEL is PSPACE-complete and we show that it remains in PSPACE for the succinct version.
Fichier principal
Vignette du fichier
main.pdf (410.02 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01487001 , version 1 (20-03-2017)

Identifiants

  • HAL Id : hal-01487001 , version 1

Citer

Tristan Charrier, François Schwarzentruber. A Succinct Language for Dynamic Epistemic Logic (long version). [Research Report] Irisa; Ens Rennes. 2017. ⟨hal-01487001⟩
619 Consultations
294 Téléchargements

Partager

Gmail Facebook X LinkedIn More