×

多模态逻辑的集合理论翻译方法。 (英语) Zbl 0840.03015号

本文将单峰和多峰逻辑翻译成一个相当弱的一阶集理论。证明了翻译是有限公理化逻辑的嵌入,这些逻辑在克里普克语义方面是完整的(但不一定是一阶可定义的)。

MSC公司:

03B45号 模态逻辑(包括规范逻辑)
03B35型 证明和逻辑运算的机械化
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Aczel,P.:《非完整集》,CSLI,第14号讲稿,1988年·Zbl 0668.04001号
[2] Benthem,J.van:《模态逻辑与经典逻辑》,新泽西州那不勒斯和大西洋高地图书馆,1985年·Zbl 0639.03014号
[3] Benthem,J.van,D’Agostino,G.,Montanari,A.和Policriti,A.:二阶逻辑和集合理论中的模态演绎,ILLC系列研究报告,ML-95-02,阿姆斯特丹大学,1995年2月。
[4] Cantone,D.:一类涉及幂集和辛格尔顿算子的集合论未量化公式的决策过程,博士论文,纽约大学,1986年。
[5] Cantone,D.,Ferro,A.和Omodeo,E.G.:可计算集理论。第1卷,牛津大学出版社,计算机科学国际专著系列,1989年·Zbl 0755.03024号
[6] Cantone,D.、Ferro,A.和Schwartz,J.T.:集合论初等子语言的决策程序VI。由幂集算子扩展的多级三段论,Comm.Pure App。数学。38(1) (1985), 549-571. ·Zbl 0582.03005号 ·doi:10.1002/cpa.3160380507
[7] Cantone,D.,Omodeo,E.和Policriti,A.:三段论的自动化II。优化和复杂性问题,J.Automated Reasoning 6(2)(1990),173-187·Zbl 0744.03015号 ·doi:10.1007/BF00245817
[8] D’Agostino,G.、Montanari,A.和Policriti,A.:将模态公式翻译为集合理论术语,研究报告10/94,乌迪内大学信息学研究生院,1994年5月(也在94年逻辑学术讨论会上)。
[9] D’Agostino,G.、Montanari,A.和Policriti,A.:模态定理证明的可判定性结果,正在准备中。
[10] Fitting,M.:模态和直觉主义逻辑的证明方法,莱德尔,多德雷赫特,1983年·Zbl 0523.03013号
[11] Gabbay,D.M.和Ohlbach,H.J.:二阶谓词逻辑中的量词消除,inProc。第四届国际知识表示与推理原理会议,KR'92,Morgan Kaufmann,1992年,第425-436页。
[12] Hughes,G.F.和Cresswell,M.J.:模态逻辑的伴侣,伦敦,1984年·兹比尔06250.3005
[13] Kracht,M.:《通往危险区的公路》,《逻辑与计算》(1994),即将出版·Zbl 0818.03009号
[14] Jech,T.:集合论;《纯粹与应用数学丛书》,学术出版社,1978年·Zbl 0419.03028号
[15] 门德尔森,E.:《数理逻辑导论》,第二版;Van Nostrand,纽约,1979年·Zbl 0498.03001号
[16] Nonnengart,A.:一阶模态逻辑定理证明和函数模拟,inProc。第13届国际人工智能联合会议,IJCAI-93,法国尚贝里,1993年,第80-85页。
[17] Ohlbach,H.J.:模态逻辑的基于语义的翻译方法,《逻辑与计算》1(5),1991年·Zbl 0746.03010号
[18] Ohlbach,H.J.:非经典逻辑的翻译方法:综述;牛市。IGLP 1(1)(1993),69-89·Zbl 0795.03019号
[19] Parlamento,F.和Policriti,A.:集合论XIII基本子语言的决策程序。《模型图,反思和可决策性》,《自动推理杂志》7(1991),271-284·Zbl 0734.03006号 ·doi:10.1007/BF00243810
[20] Policriti,A.和Schwartz,J.T.:定理证明I;研究报告08/92,乌迪内大学,1992年7月,发表在《J》杂志上。符号计算·Zbl 0851.68101号
[21] 斯莫利?ski,C.:自参考和模态逻辑。施普林格,纽约,1985年·Zbl 0596.03001号
[22] Thomason,S.K.:将时态逻辑简化为模态逻辑I,J.符号逻辑39(3)(1974),549-551·Zbl 0317.02010号 ·doi:10.2307/2272895
[23] 托马森,S.K.:《将时态逻辑简化为模态逻辑II》,《理论》41(1975),154-169·Zbl 0365.02010 ·doi:10.1111/j.1755-2567.1975.tb00555.x
[24] Wansing,H.:正规模态命题逻辑的序贯计算,《逻辑与计算》4(2)(1994),125-142·Zbl 0799.03014号 ·doi:10.1093/logcom/4.2.125
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。