Pages that link to "Item:Q4586138"
From MaRDI portal
The following pages link to Separation logics and modalities: a survey (Q4586138):
Displaying 9 items.
- 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)
- Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (Q3454121) (← links)
- A First-Order Logic with Frames (Q5041109) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- (Q5155678) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
