NON-ARITHMETICAL BEHAVIOR OF TRUTH PREDICATE LOGICS OF PROVABILITY

被引：0

|

作者：

ARTEMOV, SN

机构：

来源：

DOKLADY AKADEMII NAUK SSSR | 1985年 / 284卷 / 02期

关键词：

D O I：

暂无

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

收藏

页码：270 / 271

页数：2

相关论文

共 35 条

[1] ARITHMETICAL COMPLEXITY OF PROVABILITY PREDICATE LOGICS AND THEIR FRAGMENTS
VARDANIAN, VA
[J]. DOKLADY AKADEMII NAUK SSSR, 1986, 288 (01): : 11 - 14
[2] ON THE EFFECTIVE PREDICATE LOGICS OF PROVABILITY
ARTEMOV, SN
DZHAPARIDZE, GK
[J]. DOKLADY AKADEMII NAUK SSSR, 1987, 297 (03): : 521 - 523
[3] The Priority of Arithmetical Truth Over Arithmetical Provability
Enrico Martino
[J]. Topoi, 2002, 21 : 55 - 63
[4] The priority of arithmetical truth over arithmetical provability
Martino, E
[J]. TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 2002, 21 (1-2): : 55 - 63
[5] FINITE KRIPKE MODELS AND PREDICATE LOGICS OF PROVABILITY
ARTEMOV, S
DZHAPARIDZE, G
[J]. JOURNAL OF SYMBOLIC LOGIC, 1990, 55 (03) : 1090 - 1098
[6] ON CLASSES OF ARITHMETICAL COUNTERPARTS OF MODEL PROVABILITY LOGICS
NOGINA, EY
[J]. VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1990, (01): : 31 - 33
[7] UNIFORM ARITHMETICAL COMPLETENESS OF MODAL PROVABILITY LOGICS
ARTEMOV, SN
[J]. MATHEMATICAL NOTES, 1990, 48 (1-2) : 625 - 629
[8] Predicate logics of constructive arithmetical theories
Visser, Albert
[J]. JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (04) : 1311 - 1326
[9] A non-arithmetical Godel logic
Hajek, Petr
[J]. LOGIC JOURNAL OF THE IGPL, 2005, 13 (04) : 435 - 441
[10] ON THE DEGREES OF UNSOLVABILITY OF MODAL PREDICATE LOGICS OF PROVABILITY
MCGEE, V
[J]. JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (01) : 253 - 261

← 1 2 3 4 →