Logo image
Back
Resource Separation in Dynamic Logic of Propositional Assignments
Conference proceeding   Open access  Peer reviewed

Resource Separation in Dynamic Logic of Propositional Assignments

Joseph Boudou, Andreas Herzig and Nicolas Troquard
Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings, Vol.12005, pp.155-170
Lecture Notes in Computer Science, 12005
2nd DaLí Workshop -- Dynamic Logic: New Trends and Applications (Porto, 09/10/2019 - 11/10/2019)
2020
DOI: https://doi.org/10.1007/978-3-030-38808-9_10
Handle:
https://hdl.handle.net/10863/18735

Abstract

Dynamic logic Separation logic Propositional assignments Parallel composition
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.
pdf
335470975156.46 kBDownloadView
Preprint (Author's original) Open Access
pdf
BoHeTr20dali577.46 kB
Published (Version of record) Restricted Access
url
https://workshop.dali.di.uminho.pt/View
url
https://link.springer.com/chapter/10.1007/978-3-030-38808-9_10View

Details

Metrics

2 File views/ downloads
3 Record Views