Axiomatization and computability of a variant of iteration-free PDL with fork (Q5918208)
From MaRDI portal
scientific article; zbMATH DE number 7138308
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Axiomatization and computability of a variant of iteration-free PDL with fork |
scientific article; zbMATH DE number 7138308 |
Statements
Axiomatization and computability of a variant of iteration-free PDL with fork (English)
0 references
28 November 2019
0 references
iteration-free PDL
0 references
fork
0 references
axiomatization
0 references
completeness
0 references
