×

基本条件逻辑。 (英语) Zbl 0317.02029号


MSC公司:

03B99号 一般逻辑
03年2月25日 理论和句子集的可决定性
03C35号 理论的分类和完整性
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Chellas Brian F.,《命令的逻辑形式》,佩里·莱恩出版社,斯坦福大学,1969年。
[2] Chellas Brian F?有条件义务?,《逻辑理论和语义分析:纪念斯蒂格·康格50岁生日的论文》(SörenStenlund编辑),D.Reidel出版社,多德雷赫特,1974年,第23-33页。
[3] Chellas,Brian F.和McKinney,Audrey?单调模态逻辑的完备性?,即将出版的Zeitschrift für mathematische Logik und Grundlagen der Mathematik·Zbl 0331.02007号
[4] 克雷斯韦尔·麦克斯韦尔·约翰?经典内涵逻辑?,《理论》36(1970)347-372·Zbl 0217.30104号 ·doi:10.1111/j.1755-2567.1970.tb00433.x
[5] DanielssonSven?关于承诺的强度?,《情态、道德和其他理性与非理性问题:献给Sören Halldén的论文》,CWK Gleerup Bokförlag,Lund,1973年,第120-129页。
[6] 精细工具包?包含S4?的不完全逻辑?,《理论》40(1974)23-29·Zbl 0287.02011号 ·doi:10.1111/j.1755-2567.1974.tb00076.x
[7] 弗莱斯达尔·达格芬和希尔宾·里斯托?道义逻辑:导论?,《道义逻辑:导论和系统阅读》(RistoHilpinen编辑),D.Reidel出版公司,Dordrecht,1971年,第1-35页。
[8] Dov M.Gabbay,《非经典逻辑的蒙太古类型语义I》,美国空军科学研究办公室合同号F 61052-68-C-0036,科学报告第4号,1969年10月。
[9] GabbayDov M?三元算子条件的一般理论?,Theoria 38(1972)97-104·Zbl 0254.02019号 ·doi:10.1111/j.1755-2567.1972.tb00927.x
[10] Gabbay Dov M.,《非经典逻辑中的语义方法》,第1卷:模态和时态逻辑,北霍兰德出版公司,阿姆斯特丹,即将出版·Zbl 0309.02053号
[11] Gerson,M?模态逻辑邻域语义的不足?,西蒙·弗雷泽大学数学系,1972年·Zbl 0312.02019年
[12] 汉森·本特?一些道义逻辑分析?,编号:3(1969)373-398。再版于《道义逻辑:导论和系统阅读》(Risto Hilpinen编辑),D.Reidel出版公司,Dordrecht,1971年,第121-147页。
[13] Hansson Bengt和Gärdenfors Peter?内涵语义指南?,《形式、道德和其他有意义和无意义的问题:献给Sören Halldén的散文》,CWK Gleerup Bokförlag,Lund,1973年,第151-167页。
[14] 卡普兰·戴维,《扫罗·A·克里普克评论》?模态逻辑的语义分析,I.正规模态命题演算?,《符号逻辑杂志》31(1966)120-122·doi:10.2307/2270649
[15] KripkeSaul A?模态逻辑的语义分析,2。非正规模态命题演算?,《模型理论》(John W.Addison、LeonHenkin和Alfred Tarski编辑),北荷兰出版公司,阿姆斯特丹,1965年,第206-220页。
[16] Lemmon,E.John和Scott,Dana S.,《内涵逻辑》,初始章节初稿,斯坦福大学哲学系,1966年7月。
[17] 刘易斯·戴维·K?反事实条件句三种逻辑的完备性和判定性?,《理论》37(1971)74-85·Zbl 0229.02023 ·doi:10.1111/j.1755-2567.1971.tb00061.x
[18] 刘易斯·戴维·K,《反事实》,牛津大学巴兹尔·布莱克威尔出版社,1973年。
[19] 刘易斯·戴维·K?反事实和比较可能性?,《哲学逻辑杂志》2(1973)418-446·Zbl 0272.02048号 ·doi:10.1007/BF00262950
[20] 刘易斯·戴维·K?二元道义逻辑的语义分析?,《逻辑理论与语义分析:献给Stig Kanger五十岁生日的散文》(SörenStenlund编辑),D.Reidel出版公司,多德雷赫特,1974年,第1-14页。
[21] Rescher Nicholas,《命令的逻辑》,多佛出版社,纽约,1966年。
[22] Rescher尼古拉斯?对模态逻辑的贡献?,《哲学逻辑专题》,D.Reidel出版公司,多德雷赫特,1968年,第24-39页。
[23] RoutleyRichard和MeyerRobert K?蕴涵的语义,I,II,III?,一: 《InTruth,Syntax and Modality》(由HuguesLeblanc编辑),North-Holland Publishing Company,阿姆斯特丹,1973年,第199-243页。II和III:《哲学逻辑杂志》1(1972)53-73和192-208。
[24] 斯科特·达纳S?正规化背景?,《真理、句法和情态》(HuguesLeblanc编辑),北霍兰德出版公司,阿姆斯特丹,1973年,第244-273页。
[25] 塞格伯格克里斯特?S4的可决定性。1?,Theoria 34(1968)7-20·doi:10.1111/j.1755-2567.1968.tb00335.x
[26] SegerbergKrister,《经典模态逻辑论文》,3卷,Filosofiska Studier(哲学研究),乌普萨拉,1971年。
[27] 塞格伯格克里斯特?承诺和义务的一些逻辑?,《道义逻辑:导论和系统阅读》(RistoHilpinen编辑),D.Reidel出版公司,Dordrecht,1971年,第148-158页。
[28] 史塔纳克·罗伯特·C?条件句理论?,《逻辑理论研究》(美国哲学季刊补充专著系列),由尼古拉斯·雷舍尔、巴西尔·布莱克威尔编辑,牛津,1968年,第98-112页。
[29] 史塔纳克·罗伯特·C·和托马森·里奇蒙德·H·?条件逻辑的语义分析?,《理论》36(1970)23-42·Zbl 0211.30601号 ·doi:10.1111/j.1755-2567.1970.tb00408.x
[30] Thomason Steven K?模态逻辑中的一个不完全性定理?,《理论》40(1974)30-34·Zbl 0287.02012号 ·doi:10.1111/j.1755-2567.1974.tb00077.x
[31] vanFraassenBas C?附条件义务的逻辑?,《哲学逻辑杂志》1(1972)417-438。《精确哲学:问题、工具和目标》(Mario Bunge编辑),D.Reidel Publishing Company,Dordrecht,1973年,第151-172页。
[32] vanFraassenBas C?价值观和心灵的命令?,《哲学杂志》70(1973)5-19·doi:10.2307/2024762
[33] 沃恩怀特·乔治·亨里克?一个新的道义逻辑系统?,《道义逻辑:导论和系统阅读》(RistoHilpinen编辑),D.Reidel出版社,多德雷赫特,1971年,第105-120页。
[34] 奥奎斯特·伦纳特·E.G.son?《命令-解释和询问逻辑的修正基础》?,《理论》37(1971)31-73·Zbl 0341.02017号
[35] 奥奎斯特·伦纳特·E.G.son?带有虚拟条件和处置谓词的模态逻辑?,《哲学逻辑杂志》2(1973)1-76·Zbl 0259.02015 ·doi:10.1007/BF202115609
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。