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.
Morgan Deters
A grouping.
The expressiveness side of separation logic -- what the logic can say, as against what a solver can settle: logical investigations on separation logics, expressive completeness with two variables, and the 2015 survey of separation logics and modalities. That survey is the record this corpus has leaned on hardest for measurement, 37 of its 166 references matching a held record.
3 references
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