Fundamenta Informaticae > 2019 > Vol. 165, nr 3-4 > 193--203
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
DOI | 10.3233/FI-2019-1782 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Gödel K. Vortrag bei Zilsel, 1938. Translated as Lecture at Zilsel’s in [15] III, 62-113.
-
[2] Artemov SN. Explicit Provability and Constructive Semantics. The Bulletin of Symbolic Logic, 2001. 7(1):1-36.
-
[3] Artemov SN. The Logic of Justification. The Review of Symbolic Logic, 2008. 1(4):477-513. doi:10.1017/S1755020308090060.