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 条

[31] A van Benthem Theorem for Fuzzy Modal Logic
Wild, Paul
Schroder, Lutz
Pattinson, Dirk
Konig, Barbara
LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 909 - 918
[32] A completeness theorem for continuous predicate modal logic
Stefano Baratella
Archive for Mathematical Logic, 2019, 58 : 183 - 201
[33] A completeness theorem for continuous predicate modal logic
Baratella, Stefano
ARCHIVE FOR MATHEMATICAL LOGIC, 2019, 58 (1-2) : 183 - 201
[34] MODAL LOGIC ANALOG OF SMULLYANS FUNDAMENTAL THEOREM
FITTING, M
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1973, 19 (01): : 1 - 16
[35] Does the deduction theorem fail for modal logic?
Raul Hakli
Sara Negri
Synthese, 2012, 187 : 849 - 867
[36] A deduction theorem for normal modal propositional logic
Buvac, S
MODELING AND USING CONTEXT, PROCEEDINGS, 2003, 2680 : 107 - 115
[37] YABLO'S PARADOX AS A THEOREM OF MODAL LOGIC
Forster, Thomas
Gore, Rajeev
LOGIQUE ET ANALYSE, 2016, (235) : 265 - 271
[38] Does the deduction theorem fail for modal logic?
Hakli, Raul
Negri, Sara
SYNTHESE, 2012, 187 (03) : 849 - 867
[39] ON THE INTERPOLATION THEOREM FOR THE LOGIC OF CONSTANT DOMAINS .2.
LOPEZESCOBAR, EGK
JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (03) : 595 - 599
[40] An interpolation theorem for first order logic with infinitary predicates
Sayed-Ahmed, Tarek
LOGIC JOURNAL OF THE IGPL, 2007, 15 (01) : 21 - 32

← 1 2 3 4 5 →