×
三野胜彦

非自反模态逻辑的混合。 （英语） Zbl 1278.03045号

Patrick Blackburn等人，《混合逻辑国际研讨会论文集》（HyLo 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第6期，95-111（2007）。
摘要：本文讨论了一种带有子情态（称为非自反情态）的双模混合语言，该子情态与可及性关系（R）和不等式（neq）的交集相关。首先，我们为我们语言的逻辑提供了Hilbert式公理化（有和没有COV规则），并证明了它们的Kripke完备性和有限框架性质。其次，在框架表达能力方面，我们将包含非自反情态的语言与混合语言（mathcal{H}）和（mathcal{H}（E））进行了比较。最后，我们为我们的语言建立了Goldblatt-Thomason式的人物塑造。
关于整个系列，请参见[Zbl 1273.68016号].

MSC公司：

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

关键词：

模态逻辑;混合逻辑;克里普克完备性;有限框架特性;无反射模态;Gabbay式规则;Goldblatt-Thomason风格刻画
PDF格式BibTeX公司 XML格式引用
\textit{S.Katsuhiko}，电子。注释Theor。计算。科学。174，第6号，95--111（2007；Zbl 1278.03045）
全文： 内政部

参考文献：

[1] 阿雷塞斯、C.和B.ten Cate，混合逻辑模态逻辑手册http://www.loria.fr网站/areces/content/papers/files/hml-arecestencate.pdf；阿雷塞斯、C.和B.ten Cate，混合逻辑模态逻辑手册http://www.loria.fr网站/areces/content/papers/files/hml-arecestencate.pdf
[2] Bezhanishvili，G.和J.v.Benthem，空间模态逻辑http://www.illc.uva.nl/Publications/ResearchReports/PP-2006-08.text.pdf; Bezhanishvili，G.和J.v.Benthem，空间的模态逻辑http://www.illc.uva.nl/Publications/ResearchReports/PP-2006-08.text.pdf
[3] 布莱克本，P.，“名词时态逻辑和其他分类内涵框架”，爱丁堡大学认知科学中心博士论文（1990年）；Blackburn，P.，“名词时态逻辑和其他分类内涵框架”，爱丁堡大学认知科学中心博士论文（1990年）
[4] Blackburn，P.，名义时态逻辑，《圣母院形式逻辑杂志》，34，56-83（1993）·Zbl 0789.03018号
[5] 布莱克本，P。；de Rijke，M。；Venema，Y.，《模态逻辑》，《剑桥理论计算机科学丛书》（2001），剑桥大学出版社：剑桥大学出版社·Zbl 0988.03006号
[6] 布莱克本，P。；塞利格曼，J.，《混合语言》，《逻辑、语言和信息杂志》，4251-272（1995）·Zbl 0847.03009号
[7] Chang，C.C。；Keisler，H.J.，《模型理论》（1990），北荷兰特出版公司：北荷兰德出版公司阿姆斯特丹·Zbl 0697.03022号
[8] de Rijke，M.，不等式的模态逻辑，符号逻辑杂志，57，56-84（1992）
[9] Esakia，L.，弱及物性-恢复，逻辑研究，8244-254（2001）·Zbl 1031.03032号
[10] Gabbay，D.M.，一个不自反引理及其在时态框架条件公理化中的应用，（Monnich，U.，《哲学逻辑方面》（1981），Reidel:Reidel Dordrecht），91-117·Zbl 0519.03008号
[11] Gabbay，D.M。；霍德金森，I.M。；Reynolds，M.，《时间逻辑：数学基础和计算方面》，牛津逻辑指南，1（1994），牛津大学出版社·Zbl 0921.03023号
[12] 加戈夫，G。；Goranko，V.，《有名称的模态逻辑》，《哲学逻辑杂志》，22，607-636（1993）·Zbl 0793.03012号
[13] Gargov，G.、S.Passy和T.Tinchev，布尔推测的模态环境（初步报告）数理逻辑及其应用。库尔特·哥德尔诞辰80周年暑期学校和会议记录; Gargov，G.、S.Passy和T.Tinchev，布尔推测的模态环境（初步报告）数理逻辑及其应用。库尔特·哥德尔诞辰80周年暑期学校和会议记录·Zbl 0701.03008号
[14] Goldblatt，R.，《公理化计算机编程逻辑》，《计算机科学讲义》，第130页（1982年），施普林格-弗拉格出版社·Zbl 0474.68045号
[15] Koymans，R.，《用时间逻辑指定消息传递和时间临界系统》（1992年），《Springer-Verlag:Springer-Verlag Berlin》·兹伯利0806.68074
[16] 萨诺，K。，具有非自反模态的双模逻辑加马戈里MLG第38次会议记录http://www.seto.nanzan-u.ac.jp/sasaki/2004mlg/50-52.pdf；萨诺，K。，具有非弹性模态的双模逻辑加马戈里MLG第38次会议记录http://www.seto.nanzan-u.ac.jp/佐佐木/2004mlg/50-52.pdf
[17] 萨诺，K。，具有非自反情态的谓词双模逻辑在加马戈里举行的第39次MLG会议记录http://www.seto.nanzan-u.ac.jp/萨萨基/2005mlg/2-5.pdf；萨诺，K。，具有非自反情态的谓词双模逻辑在加马戈里举行的第39次MLG会议记录http://www.seto.nanzan-u.ac.jp/萨萨基/2005mlg/2-5.pdf
[18] 萨诺，K。，使用非弹性模态; 萨诺，K。，使用非自反形式
[19] Sano，K.和Y.Nakayama，具有非自反模态的双模逻辑; Sano，K.和Y.Nakayama，具有非自反模态的双模逻辑
[20] 萨诺、K.和K.佐藤，非自反和广义模态语言的语义表征; 萨诺、K.和K.佐藤，非自反和广义模态语言的语义表征·Zbl 1131.03009号
[21] 苏斯特列托夫，D。，拓扑空间中的混合可定义性http://www.illc.uva.nl/Publications/ResearchReports/PP-2005-14.text.pdf; 苏斯特列托夫，D。，拓扑空间中的混合可定义性http://www.illc.uva.nl/Publications/ResearchReports/PP-2005-14.text.pdf
[22] ten Cate，B.，“扩展模态语言的模型理论”，阿姆斯特丹大学逻辑、语言和计算研究所博士论文（2005年）；ten Cate，B.，“扩展模态语言的模型理论”，阿姆斯特丹大学逻辑、语言和计算研究所博士论文（2005年）·Zbl 1089.03014号
[23] 10 Cate，B。；Litak，T.，混合证明规则的拓扑观点，（2006年混合逻辑国际研讨会论文集），73-87
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。