Resource separation in dynamic logic of propositional assignments - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Resource separation in dynamic logic of propositional assignments

Résumé

We extend dynamic logic of propositional assignments by adding an operator of parallel composition that is inspired by separation logics. We provide an axiomatisation via reduction axioms, thereby establishing decidability. We also prove that the complexity of both the model checking and the satisfiability problem stay in PSPACE.
Fichier principal
Vignette du fichier
boudou_26298.pdf (170.33 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02942300 , version 1 (17-09-2020)

Identifiants

Citer

Joseph Boudou, Andreas Herzig, Nicolas Troquard. Resource separation in dynamic logic of propositional assignments. International Workshop on Dynamic Logic, in World Congress on Formal Methods (DALI 2019), Oct 2019, Porto, Portugal. pp.155-170, ⟨10.1007/978-3-030-38808-9_10⟩. ⟨hal-02942300⟩
24 Consultations
52 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More