Pages that link to "Item:Q2987042"
From MaRDI portal
The following pages link to Layered graph logic as an assertion language for access control policy models (Q2987042):
Displaying 7 items.
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- (Q2769436) (← links)
- Intuitionistic Layered Graph Logic (Q2817944) (← links)
- A substructural logic for layered graphs (Q2937700) (← links)
- (Q3121529) (← links)
- A Substructural Epistemic Resource Logic (Q5224495) (← links)
- (Q5376651) (← links)