Pages that link to "Item:Q4612424"
From MaRDI portal
The following pages link to A modal separation logic for resource dynamics (Q4612424):
Displaying 15 items.
- A calculus and logic of bunched resources and processes (Q906271) (← links)
- Resource graphs and countermodels in resource logics (Q2848062) (← links)
- Variables as resource in separation logic (Q2852352) (← links)
- (Q3121529) (← links)
- A Substructural Modal Logic of Utility (Q3133170) (← links)
- Algebra and logic for resource-based systems modelling (Q3643362) (← links)
- A Substructural Epistemic Resource Logic (Q5224495) (← links)
- Classical BI (Q5261530) (← links)
- (Q5376651) (← links)
- A public announcement separation logic (Q5377700) (← links)
- Models and Separation Logics for Resource Trees (Q5427253) (← links)
- (Q5709172) (← links)
- On Composing Finite Forests with Modal Logics (Q5886519) (← links)
- Resource separation in dynamic logic of propositional assignments (Q5918351) (← links)
- An epistemic separation logic with action models (Q6117141) (← links)