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.
Stéphane Demri
A grouping.
What separation logic can express and what can be decided about it: the separating implication in 'On the almighty wand' and the two-variable expressive-completeness result, then reachability predicates and a complete axiomatisation for the quantifier-free fragment. One earlier record on demonic nondeterminism predates the strand. The 2015 survey 'Separation logics and modalities' doubles as a coverage probe of this corpus: 37 of its 166 references matched a held record, the second-highest figure measured.
7 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
Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction
Stéphane Demri and others (2016) · ACM Transactions on Computational Logic
Logical Investigations on Separation Logics
Stéphane Demri and others (2015) · 27th European Summer School in Logic, Language and Information (ESSLLI 2015)
Separation logics and modalities: a survey
Stéphane Demri and others (2015) · Journal of Applied Non-Classical Logics
On the almighty wand
Rémi Brochenin and others (2012) · Information and Computation
Logical analysis of demonic nondeterministic programs
Stéphane Demri and others (1996) · Theoretical Computer Science · Elsevier BV