×

用一元模态逻辑模拟多元模态逻辑。 (英语) 兹比尔1059.03008

摘要:在仅使用一元运算符(菱形)的模态语言中,我们使用多元运算符定义了模态语言的解释。我们还定义了一个模拟操作符,该操作符将菱形语言中的逻辑(Lambda^{text{sim}})与语言中的每个逻辑(Lambeda\)与多进制模态连接词相关联。我们证明了该模拟算子传递了模态逻辑的一些有用性质,如有限/递归公理化性、框架完备性和有限模型性质、规范性和一阶可定义性。

MSC公司:

03B45号 模态逻辑(包括规范逻辑)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] J.van Benthem、G.D'Agostino、A.Montanari和A.Policriti Modal deduction in secondary logic and set theory-I,《逻辑与计算杂志》,第7卷(1997),第2期,第251-265页·Zbl 0873.03021号 ·doi:10.1093/logcom/7.2.251
[2] P.Blackburn、M.de Rijke和Y.Venema Modal Logic,《剑桥计算机科学丛书》,剑桥大学出版社,剑桥,2001年。
[3] M.de Rijke(编辑)《钻石与默认》,Synthese Library,第229卷,Kluwer学术出版社,1993年。
[4] K.Gödel Eine《直觉主义解读》,《Ergebnisse eines Mathematischen Kolloquiums》,第6卷(1933年),第39-40页。
[5] R.I.Goldblatt《复代数的多样性》,《纯粹与应用逻辑年鉴》,第38卷(1989年),第173-241页·Zbl 0722.08005号 ·doi:10.1016/0168-0072(89)90032-8
[6] M.R.Hansen和C.Zhou《持续时间演算:逻辑基础》,《计算的形式方面》,第9卷(1997年),第283–330页·Zbl 0887.68101号 ·doi:10.1007/BF01211086
[7] R.Hirsch和I.Hodkinson《博弈关系代数》,《逻辑研究》,第147卷,爱思唯尔,阿姆斯特丹,2002年·Zbl 1018.03002号
[8] B.Jónsson和A.Tarski带算子的布尔代数,第一部分,《美国数学杂志》,第73卷(1952年),第891-939页·Zbl 0045.31505号 ·数字对象标识代码:10.2307/2372123
[9] M.Kracht模态逻辑中的工具和技术,《逻辑研究》,第142卷,爱思唯尔,阿姆斯特丹,1999年·Zbl 0927.03002号
[10] M.Kracht和F.Wolter《模态逻辑中的模拟和传输结果:调查》,Studia Logica,第59卷(1997年),第149-177页·Zbl 0960.03014号 ·doi:10.1023/A:100490300438
[11] N.Kurtonina分类推理和模态逻辑,《逻辑、语言和信息杂志》,第7卷(1998年),第399–418页·Zbl 0915.03021号 ·doi:10.1023/A:1008322125368
[12] J.Lambek《句子结构的数学》,《美国数学月刊》,第65卷(1958年),第154-170页·Zbl 0080.00702号 ·数字对象标识代码:10.2307/2310058
[13] M.Marx、L.Pólos和M.Masuch(编辑)《阿罗逻辑和多模逻辑》,《逻辑、语言和信息研究》,CSLI出版物,1996年·Zbl 0859.00018号
[14] D.Roorda二元模态和Lambek演算,钻石和默认(M.de Rijke,编辑),Kluwer,1993年,第215-253页·Zbl 0831.03010号
[15] S.K.Thomason《二阶逻辑到模态逻辑的简化》,Zeitschrift für Mathemathische Logik und Grundlagen der Mathematik,第21卷(1975年),第107–114页·Zbl 0317.02011号 ·doi:10.1002/malq.19750210114
[16] Y.Venema《斩波间隔的模态逻辑》,《逻辑与计算杂志》,第1卷(1993年),第453-476页·Zbl 0744.03022号 ·doi:10.1093/logcom/1.4.453
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。