Pages that link to "Item:Q3643362"
From MaRDI portal
The following pages link to Algebra and logic for resource-based systems modelling (Q3643362):
Displaying 16 items.
- Bunched sequential information (Q266883) (← links)
- A logic of separating modalities (Q290917) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- A calculus and logic of bunched resources and processes (Q906271) (← links)
- Algebra and logic for access control (Q968301) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- Intuitionistic Layered Graph Logic (Q2817944) (← links)
- Exponential-Size Model Property for PDL with Separating Parallel Composition (Q2946330) (← links)
- An Epistemic Separation Logic (Q2947467) (← links)
- (Q3121529) (← links)
- Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (Q3454121) (← links)
- (Q4553286) (← links)
- Counting the Cost in the Picalculus (Extended Abstract) (Q5166616) (← links)
- (Q5376651) (← links)
- A public announcement separation logic (Q5377700) (← links)
