The following pages link to (Q5155678):
Displaying 5 items.
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Independence-friendly logic without Henkin quantification (Q5918342) (← links)
- An undecidability result for separation logic with theory reasoning (Q6161426) (← links)
- Foundations for entailment checking in quantitative separation logic (Q6166785) (← links)
- The logic of separation logic: models and proofs (Q6541164) (← links)