Pages that link to "Item:Q4586138"
From MaRDI portal
The following pages link to Separation logics and modalities: a survey (Q4586138):
Displaying 14 items.
- A logic of separating modalities (Q290917) (← links)
- Hybrid logics of separation axioms (Q1047799) (← links)
- Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
- On a graph calculus for modalities (Q2358703) (← links)
- Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition (Q2817938) (← links)
- Exponential-Size Model Property for PDL with Separating Parallel Composition (Q2946330) (← links)
- (Q3306500) (← links)
- Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (Q3454121) (← links)
- A modal separation logic for resource dynamics (Q4612424) (← links)
- A First-Order Logic with Frames (Q5041109) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- (Q5155678) (← links)
- Multimodal Separation Logic for Reasoning About Operational Semantics (Q5415628) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)