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):
Displaying 7 items.
- Iteration-free PDL with intersection: A complete axiomatization (Q2711323) (← 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)
- PDL with intersection of programs: a complete axiomatization (Q3643256) (← links)
- Propositional Dynamic Logic with Storing, Recovering and Parallel Composition (Q5179014) (← 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)