Refutations and proofs in S4

被引：0

作者：

Skura, T

机构：

来源：

PROOF THEORY OF MODAL LOGIC | 1996年 / 2卷

关键词：

D O I：

暂无

中图分类号：

N09 [自然科学史]; B [哲学、宗教];

学科分类号：

01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;

摘要：

引用

页码：45 / 51

页数：7

共 50 条

[1] PROOFS AND REFUTATIONS .4.
LAKATOS, I
BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1964, 14 (56): : 296 - 342
[2] PROOFS AND REFUTATIONS .1.
LAKATOS, I
BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1963, 14 (53): : 1 - 25
[3] PROOFS AND REFUTATIONS - LAKATOS,I
LARGEAULT, J
CRITIQUE, 1977, 33 (367) : 1120 - 1130
[4] PROOFS AND REFUTATIONS - LAKATOS,I
LEVIN, MR
NOUS, 1980, 14 (03): : 474 - 478
[5] PROOFS AND REFUTATIONS - LAKATOS,I
DEKEYSER, F
TIJDSCHRIFT VOOR FILOSOFIE, 1977, 39 (04): : 715 - 715
[6] PROOFS AND REFUTATIONS .2.
LAKATOS, I
BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1963, 14 (54): : 120 - 139
[7] PROOFS AND REFUTATIONS - LAKATOS,I
MARCHI, P
PHILOSOPHY OF THE SOCIAL SCIENCES, 1980, 10 (04) : 445 - 458
[8] PROOFS AND REFUTATIONS .3.
LAKATOS, I
BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1963, 14 (55): : 221 - 245
[9] Proofs and refutations for probabilistic refinement
McIver, A. K.
Morgan, C. C.
Conzalia, C.
FM 2008: FORMAL METHODS, PROCEEDINGS, 2008, 5014 : 100 - +
[10] Refutations, proofs, and models in the modal logic K4
Skura T.
Studia Logica, 2002, 70 (2) : 193 - 204