Pages that link to "Item:Q5179014"
From MaRDI portal
The following pages link to Propositional Dynamic Logic with Storing, Recovering and Parallel Composition (Q5179014):
Displayed 8 items.
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- 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)
- Axiomatization and computability of a variant of iteration-free PDL with fork (Q5918208) (← links)
- Resource separation in dynamic logic of propositional assignments (Q5918351) (← links)