Pages that link to "Item:Q5224495"
From MaRDI portal
The following pages link to A Substructural Epistemic Resource Logic (Q5224495):
Displaying 5 items.
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- (Q4453637) (← links)
- A substructural epistemic resource logic: theory and modelling applications (Q5216343) (← links)
- A Substructural Epistemic Resource Logic (Q5224495) (← links)
- (Q5376651) (← links)