Resource separation in dynamic logic of propositional assignments (In Press, Journal Pre-proof) - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Logical and Algebraic Methods in Programming Année : 2021

Resource separation in dynamic logic of propositional assignments (In Press, Journal Pre-proof)

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
x_dlpa4para.pdf (183.54 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03210604 , version 1 (28-04-2021)

Identifiants

Citer

Joseph Boudou, Andreas Herzig, Nicolas Troquard. Resource separation in dynamic logic of propositional assignments (In Press, Journal Pre-proof). Journal of Logical and Algebraic Methods in Programming, 2021, pp.100683. ⟨10.1016/j.jlamp.2021.100683⟩. ⟨hal-03210604⟩
38 Consultations
40 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More