COUNTEREXAMPLE TO BOWENS THEOREM AND FAILURES OF INTERPOLATION THEOREM IN MODAL LOGIC

被引：0

|

作者：

LU, QC ^{[1
]}

机构：

[1] UNIV SCI & TECHNOL CHINA, BEIJING, PEOPLES R CHINA

来源：

KEXUE TONGBAO | 1984年 / 29卷 / 04期

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

收藏

页码：433 / 436

页数：4

相关论文

共 50 条

[1] COUNTEREXAMPLE TO BOWEN'S THEOREM AND FAILURES OF INTERPOLATION THEOREM IN MODAL LOGIC
吕其慈
Science Bulletin, 1984, (04) : 433 - 436
[2] Repairing the interpolation theorem in quantified modal logic
Areces, C
Blackburn, P
Marx, M
ANNALS OF PURE AND APPLIED LOGIC, 2003, 124 (1-3) : 287 - 299
[3] INTERPOLATION THEOREM FOR MODAL LOGICS
CZERMAK, J
JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 416 - 416
[4] BACK AND FORTH CONSTRUCTIONS IN MODAL LOGIC - AN INTERPOLATION THEOREM FOR A FAMILY OF MODAL-LOGICS
WEAVER, G
WELAISH, J
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 969 - 980
[5] INCOMPLETENESS THEOREM IN MODAL LOGIC
THOMASON, SK
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (02): : A335 - A335
[6] INCOMPLETENESS THEOREM IN MODAL LOGIC
THOMASON, SK
JOURNAL OF SYMBOLIC LOGIC, 1972, 37 (04) : 780 - 780
[7] INCOMPLETENESS THEOREM IN MODAL LOGIC
THOMASON, SK
THEORIA, 1974, 40 : 30 - 34
[8] A COMPLETENESS THEOREM IN MODAL LOGIC
BAYART, A
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 276 - &
[9] FAILURES OF THE INTERPOLATION LEMMA IN QUANTIFIED MODAL LOGIC
FINE, K
JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (02) : 201 - 206
[10] ON THE INTERPOLATION THEOREM FOR THE LOGIC OF CONSTANT DOMAINS
LOPEZESCOBAR, EGK
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (01) : 87 - 88

← 1 2 3 4 5 →