×
布里斯·哈利米

几何模态逻辑。 （英语） Zbl 1529.03150号

圣母院J.形式逻辑 64，第3号，377-406（2023）.
摘要：本文的目的是通过对命题模态逻辑进行几何化，即将所有可能世界集合背后的空间视为其本身的一个重要语义特征，从而推广Kripke语义，从而认真对待可及性的思想。由此产生的新模态语义是在黎曼几何的背景下计算出来的，其中Kripke语义被证明对应于一个特定的情况，即离散的情况。在已知模态系统的变体和相应的几何特性之间建立的几个对应结果说明了这个新框架的重要性。

MSC公司：

03B45号 模态逻辑（包括规范逻辑）
53C21号 整体黎曼几何方法，包括PDE方法；曲率限制
58A05型 可微分歧管、基础

关键词：

微分几何;高阶可能世界;迭代模式;克里普克模态语义学;命题模态逻辑;黎曼几何
PDF格式BibTeX公司 XML格式引用
\textit{B.Halimi}，圣母院J.形式逻辑64，No.3，377--406（2023；Zbl 1529.03150）
全文： DOI程序

参考文献：

[1] Baltag，A.，“STS：集合的结构理论”，第1-34页，《模态逻辑进展》，第2卷（乌普萨拉，1998年），由M.Zakharyaschev、K.Segerberg、M.de Rijke和H.Wansing编辑，CSLI讲义第119卷，CSLI-出版物，斯坦福，2001年。数学科学网：MR1838245 zbMATH:0993.03065·Zbl 0993.03065号
[2] Beklemishev，L.和D.Gabelaia，“可证明逻辑GLP的拓扑完备性”，《纯粹与应用逻辑年鉴》，第164卷（2013），第1201-23页。数字对象标识符：10.1016/j.apal.2013.06.008谷歌学者：查找链接数学科学网：MR3093387 zbMATH:1320.03088·Zbl 1320.03088号 ·doi:10.1016/j.apal.2013.06.008
[3] Benevides，M.R.F.和T.S.E.Maibaum，“必要性模态连接词的建设性陈述”，《逻辑与计算杂志》，第2卷（1992年），第31-50页。数字对象标识符：10.1093/logcom/2.1.31谷歌学者：查找链接MathSciNet:MR1166503 zbMATH:0763.03014·兹比尔0763.03014 ·doi:10.1093/logcom/2.1.31
[4] Blackburn，P.、M.de Rijke和Y.Venema，《模态逻辑》，《剑桥理论计算机科学丛书》第53卷，剑桥大学出版社，剑桥，2001年。zbMATH:0988.03006数学科学网：MR1837791·Zbl 0988.03006号
[5] Chellas，B.F.和K.Segerberg，“S1附近的模态逻辑”，《圣母院形式逻辑杂志》，第37卷（1996年），第1-24页。数字对象标识符：10.1305/ndjfl/1040067312谷歌学者：查找链接数学科学网：MR1379545 zbMATH:0859.03011·Zbl 0859.03011号 ·doi:10.1305/ndjfl/1040067312
[6] 戴森，K.，“模态逻辑的顺序系统”，《符号逻辑杂志》，第50卷（1985年），第149-68页。数字对象标识符：10.2307/2273797谷歌学者：查找链接MathSciNet:MR0780533 zbMATH:0562.03009·Zbl 0562.03009号 ·doi:10.2307/2273797
[7] Fine，K.，“模糊、真理和逻辑，”合成第30卷（1975年），第265-300页。数字对象标识符：10.1007/BF00485047谷歌学者：查找链接zbMATH:0311.02011·Zbl 0311.02011号 ·doi:10.1007/BF00485047
[8] Gabbay，D.M.，“超模态逻辑理论：模态逻辑中的模式转换”，《哲学逻辑杂志》，第31卷（2002年），第211-43页。数字对象标识符：10.1023/A:1015782031903谷歌学者：查找链接MathSciNet:MR1917266 zbMATH:1009.03012·Zbl 1009.03012号 ·doi:10.1023/A:1015782031903
[9] Gallot，S.、D.Hulin和J.Lafontaine，黎曼几何，第三版，施普林格，柏林，2004年。数字对象标识符：10.1007/978-3642-18855-8谷歌学者：查找链接数学科学网：MR2088027 zbMATH:1068.53001·Zbl 1068.53001号 ·doi:10.1007/978-3642-18855-8
[10] Gross，J.L.和J.Yellen编辑，《图论手册》，CRC出版社，博卡拉顿，2004年。数学科学网：MR2035186·Zbl 1036.05001号
[11] Gudmundsson，S.和E.Kappos，“关于切线束的几何”，《数学博览会》，第20卷（2002年），第1-41页。数字对象标识符：10.1016/S0723-0869（02）80027-5谷歌学者：查找链接数学科学网：MR1888866 zbMATH:1007.53027·Zbl 1007.53027号 ·doi:10.1016/S0723-0869（02）80027-5
[12] Hughes，G.E.和M.J.Cresswell，《模态逻辑新导论》，劳特利奇出版社，伦敦，1996年。数字对象标识符：10.4324/9780203290644谷歌学者：查找链接MathSciNet:MR11666445 zbMATH:085503002·Zbl 0855.0302号 ·doi:10.4324/9780203290644
[13] Kremer，P.和G.Mints，“动态拓扑逻辑”，《纯粹和应用逻辑年鉴》，第131卷（2005年），第133-58页。数字对象标识符：10.1016/j.apal.2004.06.004谷歌学者：查找链接MathSciNet:MR2097225 zbMATH:1067.03028·Zbl 1067.03028号 ·doi:10.1016/j.apal.404.06004
[14] Kripke，S.A.，“模态逻辑的语义考虑”，《费尼卡哲学学报》，第16卷（1963年），第83-94页。数学科学网：MR0170800 zbMATH:0131.00602·兹比尔0131.00602
[15] Lang，S.，《微分几何基础》，数学研究生教材第191卷，Springer，纽约，1999年。数字对象标识符：10.1007/978-1-4612-0541-8谷歌学者：查找链接数学科学网：MR1666820 zbMATH:0932.53001·Zbl 0932.53001号 ·doi:10.1007/978-1-4612-0541-8
[16] Masini，A.，“2-序列演算：模态的证明理论”，《纯粹与应用逻辑年鉴》，第58卷（1992年），第229-46页。数字对象标识符：10.1016/0168-0072（92）90029-Y谷歌学者：查找链接数学科学网：MR1191942 zbMATH:0819.03045·Zbl 0819.03045号 ·doi:10.1016/0168-0072（92）90029-Y
[17] 麦肯锡，J.C.C.和A.Tarski，“拓扑代数”，《数学年鉴》（2），第45卷（1944年），第141-91页。数字对象标识符：10.2307/1969080谷歌学者：查找链接数学科学网：MR0009842 zbMATH:0060.06206·Zbl 0060.06206号 ·doi:10.2307/1969080
[18] Venema，Y.，“点、线和菱形：投影平面的两分类模态逻辑”，《逻辑与计算杂志》，第9卷（1999年），第601-21页。数字对象标识符：10.1093/logcom/9.5.601谷歌学者：查找链接MathSciNet:MR1727211 zbMATH:0941.03020·Zbl 0941.03020号 ·doi:10.1093/logcom/9.5.601
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。