The Impact of Including Model Update Operators in Modal Logics (Q5170725)
From MaRDI portal
scientific article; zbMATH DE number 6320279
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Impact of Including Model Update Operators in Modal Logics |
scientific article; zbMATH DE number 6320279 |
Statements
The Impact of Including Model Update Operators in Modal Logics (English)
0 references
24 July 2014
0 references
modal logics
0 references
model updates
0 references
bisimulation
0 references
complexity
0 references
