Reflecting in epistemic arithmetic (Q5687316)
From MaRDI portal
scientific article; zbMATH DE number 957319
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reflecting in epistemic arithmetic |
scientific article; zbMATH DE number 957319 |
Statements
Reflecting in epistemic arithmetic (English)
0 references
22 January 1997
0 references
epistemic arithmetic
0 references
modal logic
0 references
reflection principle
0 references
absolute provability
0 references
