Pages that link to "Item:Q3455841"
From MaRDI portal
The following pages link to A Modal BI Logic for Dynamic Resource Properties (Q3455841):
Displaying 12 items.
- A logic of separating modalities (Q290917) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- Intuitionistic Layered Graph Logic (Q2817944) (← links)
- An Epistemic Separation Logic (Q2947467) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
- (Q3121529) (← links)
- Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (Q3454121) (← links)
- (Q4553286) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Non-normal modalities in variants of linear logic (Q4586144) (← links)
- (Q5376651) (← links)
- A public announcement separation logic (Q5377700) (← links)
