×
R.佐吉法德。；M·普尔马迪安。

一阶模态逻辑：框架可定义性和Lindström定理。 （英语） Zbl 1437.03095号

螺柱日志。 106，第4号，699-720（2018）.
摘要：我们将两个著名的模型理论表征定理从命题模态逻辑推广到一阶模态逻辑（简称FML）。我们首先研究了FML可定义框架，并给出了该逻辑的Goldblatt-Thomason定理的一个版本。与原Goldblatt-Thomason定理相比，该结果的优点是它不需要超滤反射条件，只在有界纯像、生成的子帧和不相交并下使用闭包。然后我们研究了一阶模态逻辑的Lindström型定理。我们证明了在满足紧致性、互模拟不变性和Tarski并集性质的扩展FML的逻辑中，FML具有最大的表达能力。

引用于5文件

MSC公司：

03B45号 模态逻辑（包括规范逻辑）

关键词：

一阶模态逻辑；克里普克语义学；互模拟；戈德布拉特-托马森定理；林德斯特伦定理
PDF格式BibTeX公司 XML格式引用
\textit{R.Zoghifard}和\textit{M.Pourmahdian}，Stud.Log。106，第4号，699--720（2018；Zbl 1437.03095）
全文： 内政部 arXiv公司

参考文献：

[1] P.布莱克本。,M.de Rijke先生、和Y.威尼斯,模态逻辑《剑桥理论计算机科学丛书》，剑桥大学出版社，剑桥，2002年。
[2] T·布吕纳。、和S.吉拉尔迪《一阶模态逻辑》，载于P.Blackburn、J.van Benthem和F.Wolter（编辑），模态逻辑手册爱思唯尔科学出版社，阿姆斯特丹，2006年，第549-620页。
[3] Rijke，M；Ponse，A（编辑）；Rijke，M（编辑）；Venema，Y（ed.），模态逻辑的林德斯特伦定理，217-230，（1995），斯坦福
[4] Enqvist，S，一些正规模态逻辑的一般lindström定理，Logica Universalis，7，233-264，（2013）·Zbl 1345.03035号 ·doi:10.1007/s11787-013-0078-9
[5] Enqvist，S，一个新的余代数lindström定理，逻辑与计算杂志，261541-1566，（2016）·Zbl 1444.03050号 ·doi:10.1093/log/exu045
[6] 配件，M。、和R.L.门德尔松,一阶模态逻辑《Kluwer学术出版社》，多德雷赫特，1998年·Zbl 1025.03001号 ·doi:10.1007/978-94-011-5292-1
[7] 弗鲁姆，J；Barwise，J（编辑）；Feferman，S（编辑），《特征化逻辑》，77-120，（1985），柏林
[8] D.加巴伊。,V.谢特曼和D.斯克沃尔佐夫,非经典逻辑中的量化，爱思唯尔，阿姆斯特丹，2009年·Zbl 1211.03002号
[9] 罗德岛哥德布拉特。、和S.K.托马森《命题模态逻辑中的公理类》，J.Crossley（编辑），代数与逻辑柏林施普林格出版社，1974年，第163-173页·Zbl 0325.02012
[10] 霍奇斯，W。,模型理论，剑桥大学出版社，剑桥，1993年·兹比尔0789.03031
[11] G.E.休斯。、和M.J.克雷斯韦尔,模态逻辑新导论《劳特利奇，阿宾顿》，1996年·Zbl 0855.0302号 ·doi:10.4324/9780203290644
[12] 库尔兹，A；罗西克，J；Mossakowski，T（编辑）；Montanari，U（编辑）；Haveraaen，M（编辑），余代数的goldblatt-thomason定理，342-355，（2007），柏林·Zbl 1214.03017号
[13] 库尔茨，A；维内马，Y；Goranko，V（编辑）；Beklemishev，L（编辑）；Shehtman，V（ed.），Coalgebraic lindström定理，292-309，（2010），圣地亚哥·兹比尔1254.03121
[14] 莱蒂宁，S。,Goldblatt-Thomason定理的推广和模态可定义性，坦佩雷大学博士论文，2008年。
[15] 林德斯特伦，P，《论基本逻辑的扩展》，《理论》，35，1-11，（1969）·Zbl 0206.27202号 ·doi:10.1111/j.1755-2567.1969.tb00356.x
[16] 奥托，M；皮罗，R；Areces，C（编辑）；Goldblatt，R（ed.），《保护碎片和具有全局模态的模态逻辑的lindström表征》，273-287，（2008），圣地亚哥·兹比尔1244.03070
[17] 萨诺，K；M、 马；Goranko，V（编辑）；Beklemishev，L（编辑）；Shehtman，V（ed.），《分级模态语言的Goldblatt-thomason式定理》，330-349，（2010），圣地亚哥·Zbl 1254.03038号
[18] 十卡特，B。,扩展模态语言的模型理论2005年，阿姆斯特丹大学逻辑、语言和计算研究所博士论文·Zbl 1089.03014号
[19] Benthem，J，一个新的模态lindström定理，Logica Universalis，1125-138，（2007）·Zbl 1118.03012号 ·doi:10.1007/s11787-006-0006-3
[20] Benthem，J；Cate，B类；Väänänen，JA，一阶逻辑片段的Lindström定理，计算机科学中的逻辑方法，5，1-27，（2009）·兹比尔1168.03017
[21] Benthem，J，模态谓词逻辑中的框架对应，（2010），圣地亚哥·Zbl 1244.03077号
[22] 范·本特姆（J.van Benthem）。,开放思维的模态逻辑，语言与信息研究中心，2010年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。