Pages that link to "Item:Q4612423"
From MaRDI portal
The following pages link to Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization (Q4612423):
Displayed 4 items.
- Exponential-Size Model Property for PDL with Separating Parallel Composition (Q2946330) (← links)
- Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (Q3454121) (← 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)