Logics for knowability (Q6484823)
From MaRDI portal
scientific article; zbMATH DE number 7589382
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logics for knowability |
scientific article; zbMATH DE number 7589382 |
Statements
Logics for knowability (English)
0 references
21 September 2022
0 references
knowability
0 references
public announcement logic
0 references
arbitrary public announcement logic
0 references
expressivity
0 references
axiomatizations
0 references
decidability
0 references
