Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL (Q5271051)
From MaRDI portal
scientific article; zbMATH DE number 6738794
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL |
scientific article; zbMATH DE number 6738794 |
Statements
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL (English)
0 references
3 July 2017
0 references
