The following pages link to (Q4636282):
Displaying 6 items.
- Bisimilar and logically equivalent programs in PDL with parallel operator (Q2358700) (← 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)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Resource separation in dynamic logic of propositional assignments (Q5918351) (← links)