Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization (Q4612423)
From MaRDI portal
scientific article; zbMATH DE number 7009537
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization |
scientific article; zbMATH DE number 7009537 |
Statements
Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization (English)
0 references
31 January 2019
0 references
iteration-free PDL
0 references
parallel composition
0 references
axiomatisation
0 references
completeness
0 references
expressivity
0 references
