The following pages link to A logic of separating modalities (Q290917):
Displaying 8 items.
- Levels of modality for BDI logic (Q456714) (← links)
- A calculus and logic of bunched resources and processes (Q906271) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- (Q3121529) (← links)
- The power of modal separation logics (Q5216335) (← links)
- A Substructural Epistemic Resource Logic (Q5224495) (← links)
- (Q5283800) (← links)
- (Q5376651) (← links)