Florian Zuleger

Expressiveness Results for an Inductive Logic of Separated Relations

2023 · arXiv (Cornell University)

In this paper we study a Separation Logic of Relations (SLR) and compare its expressiveness to (Monadic)Second Order Logic (M)SO. SLR is based on the well-known Symbolic Heap fragment of Separation Logic, whose formulae are …