The expressivity of update logics (Q5262482)
From MaRDI portal
scientific article; zbMATH DE number 6458858
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The expressivity of update logics |
scientific article; zbMATH DE number 6458858 |
Statements
The expressivity of update logics (English)
0 references
15 July 2015
0 references
expressivity
0 references
public announcements
0 references
arrow updates
0 references
relativized common knowledge
0 references
arrow common knowledge
0 references
