Logo image
Back
Resource separation in dynamic logic of propositional assignments
Journal article   Peer reviewed

Resource separation in dynamic logic of propositional assignments

Joseph Boudou, Andreas Herzig and Nicolas Troquard
Journal of Logical and Algebraic Methods in Programming, Vol.121, 100683
121
2021
DOI: https://doi.org/10.1016/j.jlamp.2021.100683
Handle:
https://hdl.handle.net/10863/18477

Abstract

Dynamic logic Separation logic Propositional assignments Parallel composition Concurrency
We extend dynamic logic of propositional assignments by adding an operator of parallel composition that is inspired by separation logics. We provide an axiomatization via reduction axioms, thereby establishing decidability. We also prove that the complexity of both the model checking and the satisfiability problem stay in PSPACE.
url
https://www.sciencedirect.com/science/article/pii/S2352220821000468View

Details

Metrics

8 Record Views