Pages that link to "Item:Q5216335"
From MaRDI portal
The following pages link to The power of modal separation logics (Q5216335):
Displaying 12 items.
- A logic of separating modalities (Q290917) (← links)
- Reasoning about sequences of memory states (Q636268) (← links)
- Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
- Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
- A modal separation logic for resource dynamics (Q4612424) (← links)
- Modal Logics with Composition on Finite Forests (Q5145629) (← links)
- (Q5155678) (← links)
- Losing connection: the modal logic of definable link deletion (Q5158361) (← links)
- On the complexity of modal separation logics (Q5224566) (← links)
- Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
- On Composing Finite Forests with Modal Logics (Q5886519) (← links)