Two Proof-Theoretic Remarks on EA + ECT (Q4521121)
From MaRDI portal
scientific article; zbMATH DE number 1545070
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Two Proof-Theoretic Remarks on EA + ECT |
scientific article; zbMATH DE number 1545070 |
Statements
16 July 2001
0 references
epistemic existence property
0 references
epistemic arithmetic
0 references
epistemic Church's Thesis
0 references
arithmetic in modal logic S4
0 references
Two Proof-Theoretic Remarks on EA + ECT (English)
0 references
