No label defined (Q4955431)
From MaRDI portal
scientific article; zbMATH DE number 1453150
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1453150 |
Statements
2 August 2000
0 references
consistency
0 references
computability
0 references
knowledge
0 references
ignorance
0 references
Turing machine
0 references
epistemic logic S4
0 references
