This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Étienne Lozes
A grouping.
The limits of separation logic, in joint work with Demri and Brochenin: the separating implication in 'On the almighty wand', the effects of adding reachability predicates, and a complete axiomatisation for the quantifier-free fragment. The common question is what happens to decidability as the logic is given more to say.
3 references
A Complete Axiomatisation for Quantifier-Free Separation Logic
Stéphane Demri and others (2021) · Logical Methods in Computer Science · Logical Methods in Computer Science e.V.
The effects of adding reachability predicates in propositional separation logic
Stéphane Demri and others (2018) · 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) · Springer
On the almighty wand
Rémi Brochenin and others (2012) · Information and Computation