The following pages link to A Simple Separation Logic (Q2849430):
Displaying 7 items.
- A logic of separating modalities (Q290917) (← links)
- Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition (Q2817938) (← links)
- An Epistemic Separation Logic (Q2947467) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- A public announcement separation logic (Q5377700) (← links)
- Resource separation in dynamic logic of propositional assignments (Q5918351) (← links)
