Pages that link to "Item:Q5739976"
From MaRDI portal
The following pages link to The formal strong completeness of partial monoidal Boolean BI (Q5739976):
Displaying 11 items.
- A logic of separating modalities (Q290917) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Intuitionistic Layered Graph Logic (Q2817944) (← links)
- An Epistemic Separation Logic (Q2947467) (← links)
- (Q3121529) (← links)
- Completeness for a First-Order Abstract Separation Logic (Q3179309) (← links)
- (Q4553286) (← links)
- A Substructural Epistemic Resource Logic (Q5224495) (← links)
- (Q5376651) (← links)
- A public announcement separation logic (Q5377700) (← links)
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics (Q6612799) (← links)
