The following pages link to (Q2855318):
Displaying 7 items.
- A logic of separating modalities (Q290917) (← links)
- A calculus and logic of bunched resources and processes (Q906271) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- Intuitionistic Layered Graph Logic (Q2817944) (← links)
- (Q4553286) (← links)
- A Substructural Epistemic Resource Logic (Q5224495) (← links)
- Linear resources in Isabelle/HOL (Q6552504) (← links)
