Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization
From MaRDI portal
Publication:4612423
Recommendations
- Axiomatization and computability of a variant of iteration-free PDL with fork
- Iteration-free PDL with intersection: A complete axiomatization
- scientific article; zbMATH DE number 2066186
- A canonical model construction for iteration-free PDL with intersection
- Propositional dynamic logic with storing, recovering and parallel composition
Cited in
(13)- Iteration-free PDL with intersection: A complete axiomatization
- Exponential-size model property for PDL with separating parallel composition
- Strong completeness for iteration-free coalgebraic dynamic logics
- Tableaux methods for propositional dynamic logics with separating parallel composition
- PDL with intersection of programs: a complete axiomatization
- Complete Axiomatization of a Relative Modal Logic with Composition and Intersection
- scientific article; zbMATH DE number 2024628 (Why is no real title available?)
- scientific article; zbMATH DE number 2066186 (Why is no real title available?)
- A canonical model construction for iteration-free PDL with intersection
- Propositional dynamic logic with storing, recovering and parallel composition
- Axiomatization and computability of a variant of iteration-free PDL with fork
- Resource separation in dynamic logic of propositional assignments
- Simple dynamic logic with parallel composition and applications to planning
This page was built for publication: Iteration-free \(\mathrm{PDL}\) with storing, recovering and parallel composition: a complete axiomatization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4612423)
