Dynamic logic of propositional assignments : a well-behaved variant of PDL - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Dynamic logic of propositional assignments : a well-behaved variant of PDL

Résumé

We study a version of Propositional Dynamic Logic (PDL) that we call Dynamic Logic of Propositional Assignments (DL-PA). The atomic programs of DL-PA are assignments of propositional variables to true or to false. We show that DL-PA behaves better than PDL, having e.g. compactness and eliminability of the Kleene star. We establish tight complexity results: both satisfiability and model checking are EXPTIME-complete.
Fichier principal
Vignette du fichier
balbiani_12432.pdf (312.76 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01240721 , version 1 (09-12-2015)

Identifiants

Citer

Philippe Balbiani, Andreas Herzig, Nicolas Troquard. Dynamic logic of propositional assignments : a well-behaved variant of PDL. 28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013), Jun 2013, New Orleans, LA, United States. pp.143-152, ⟨10.1109/LICS.2013.20⟩. ⟨hal-01240721⟩
130 Consultations
512 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More