Article Dans Une Revue Journal of Logic and Computation Année : 2005

A reduction from DLP to PDL

Résumé

We present a reduction from a new logic extending van der Meyden's dynamic logic of permission (DLP) into propositional dynamic logic (PDL), providing a 2EXPTIME decision procedure and showing that all the machinery for PDL can be reused for reasoning about dynamic policies. As a side-effect, we establish that DLP is EXPTIME-complete. The logic we introduce extends the logic DLP so that the policy set can be updated depending on its current value and such an update corresponds to add\slash delete transitions in the model, showing similarities with van Benthem's sabotage modal logic.

Fichier principal
Vignette du fichier
demri-jlc05.pdf (191.22 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-03193413 , version 1 (08-04-2021)

Licence

Identifiants

Citer

Stéphane Demri. A reduction from DLP to PDL. Journal of Logic and Computation, 2005, 15 (5), pp.767-785. ⟨10.1093/logcom/exi043⟩. ⟨hal-03193413⟩
120 Consultations
215 Téléchargements

Altmetric

Partager

  • More