×
贝内维特斯，马里奥·R·F·。;谢赫特，L.Menasché

图和混合逻辑的多维乘积研究。 （英语） Zbl 1229.03028号

西奥。计算。科学。 412，第37号，4946-4966（2011）.
小结：我们讨论了与图的乘积和模态逻辑乘积有关的一些问题。我们的主要贡献是利用一个称为不及物性的性质，给出了可数连通图成为乘积的一个充要条件。然后我们继续用逻辑语言描述这个属性。首先，我们证明了不及物性是不可模定义的，并且图是乘积的充要条件是不可模态定义的。然后，我们用混合语言展示了一个描述不及物性的公式。由此，我们得到了任意维图乘积的逻辑特征。然后，我们使用这个特征来获得另外两个有趣的结果。首先，我们确定可以使用模型检查算法在多项式时间内测试有限连通图是否为乘积。该测试在图的大小上具有三次复杂性，在维数上具有二次复杂性。最后，我们利用可数连通积的这种特征来为一大类模态逻辑乘积提供完善的公理系统。此类包含由从满足连通性、传递性和对称性的Kripke框架获得的乘积框架定义的逻辑，以及可以由纯混合公式定义的任何附加性质。文献中提出的大多数健全和完整的公理系统都是针对一对模态逻辑的乘积的，而我们能够使用混合逻辑为许多任意维的乘积提供健全和完全的公理化。

理学硕士：

03B70型 计算机科学中的逻辑
03B45号 模态逻辑（包括规范逻辑）
05C76号 图形操作（折线图、乘积等）
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

图的乘积;不妥协;混合语言;模型检查;模态逻辑的乘积;公理系统
PDF格式BibTeX公司 XML格式引用
\textit｛M.R.F.Benevides｝和\textit｛L.M.Schechter｝，Theor。计算。科学。412，第37号，4946-4966（2011；Zbl 1229.03028）
全文： 内政部

参考文献：

[1] Benevides，M.R.F。；Schechter，L.M.，《图形和混合逻辑产品》，（逻辑和语义框架及其应用第四次研讨会论文集。逻辑和语义架构及其应用第4次研讨会论文集中，LSFA 2009。逻辑和语义框架及应用第四次研讨会论文集。逻辑和语义框架与应用第四次研讨会论文集，LSFA 2009，理论计算机科学电子笔记，第256卷（2009），Elsevier），103-118·Zbl 1291.05166号
[2] Kurucz，A.，《组合模态逻辑》，（Blackburn，P.；van Benthem，J.；Wolter，F.，《模态逻辑手册》（2006），Elsevier），869-924
[3] 加巴伊，D。；A.库鲁茨。；Wolter，F。；Zakharyaschev，M.，《多维模态逻辑：理论与应用》（2003），爱思唯尔科学·Zbl 1051.03001号
[4] 布莱克本，P。；de Rijke，M。；Venema，Y.，《模态逻辑》，《计算机科学理论教程》（2001），剑桥大学出版社·Zbl 0988.03006号
[5] Areces，C。；ten Cate，B.，《混合逻辑》（Blackburn，P.；van Benthem，J.；Wolter，F.，《模态逻辑手册》（2006），Elsevier），821-868
[6] Blackburn，P.，《表示、推理和关系结构：混合逻辑宣言》，《IGPL逻辑杂志》，8，3，339-365（2000）·兹比尔0956.03025
[7] B.ten Cate，《扩展模态语言的模型理论》，阿姆斯特丹大学博士论文，2005年。；B.ten Cate，扩展模态语言的模型理论，阿姆斯特丹大学博士论文，2005年·Zbl 1089.03014号
[8] 布莱克本，P。；ten Cate，B.，《纯扩张、证明规则和混合公理学》，Studia Logica，84，2，277-322（2006）·Zbl 1115.03009号
[9] Franceschet，M。；de Rijke，M.，模型检查混合逻辑（半结构化数据应用），应用逻辑杂志，4，3，279-304（2006）·Zbl 1100.68065号
[10] 加巴伊，D。；Shehtman，V.，模态逻辑的产品，第1部分，IGPL的逻辑杂志，6，1，73-146（1998）·Zbl 0902.03008号
[11] 赫希，R。；霍德金森，I。；Kurucz，A.，《关于（K次K次）和（S5次S5次）之间的模态逻辑》，《符号逻辑杂志》，67，1，221-234（2002）·Zbl 1002.03019号
[12] 布莱克本，P。；Tzakova，M.，混合语言和时间逻辑，IGPL逻辑期刊，7，1，27-54（1999）·Zbl 0920.03029号
[13] Areces，C。；布莱克本，P。；Marx，M.，《混合逻辑：特征、插值和复杂性》，《符号逻辑杂志》，66，3，977-1010（2001）·Zbl 0984.03018号
[14] Enderton，H.B.，《逻辑数学导论》（2001），学术出版社·Zbl 0992.03001号
[15] B.Kooi，G.Renardel de Lavalette，R.Verbrugge，《非紧混合逻辑的强完备性》，载《第五届AiML会议论文集》，2004年，第212-223页。；B.Kooi，G.Renardel de Lavalette，R.Verbrugge，《非紧混合逻辑的强完备性》，载《第五届AiML会议论文集》，2004年，第212-223页。
[16] Kooi，B。；雷纳德·拉瓦莱特（Renardel de Lavalette），G。；Verbrugge，R.，具有无限证明系统的混合逻辑，逻辑与计算杂志，16，2616-175（2006）·Zbl 1102.03017号
[17] 帕西，S。；Tinchev，T.，《组合动态逻辑、信息与计算》，93，2，263-332（1991）·Zbl 0732.03021号
[18] Benevides，M.R.F。；Schechter，L.M.，《使用模态逻辑来表示和检查全局图形属性》，《IGPL逻辑期刊》，17，5，509-537（2009）·Zbl 1181.03032号
[19] Sano，K.，《公理化混合产品：我们如何在混合逻辑中进行多维推理？》？，应用逻辑杂志，8，4，459-474（2010）·Zbl 1215.03038号
[20] Y.Venema，多维模态逻辑，阿姆斯特丹大学博士论文，1992年。；Y.Venema，多维模态逻辑，阿姆斯特丹大学博士论文，1992年。
[21] 马克思，M。；Venema，Y.，多维模态逻辑（1997），Kluwer学术出版社·Zbl 0942.03029号
[22] 亨金，L。；Monk，J.D。；塔斯基，A.，《柱代数》，第一部分和第二部分（1971年和1985年），北荷兰
[23] D.Sarenac，拓扑模态逻辑产品，斯坦福大学博士论文，2006。；D.Sarenac，拓扑模态逻辑产品，斯坦福大学博士论文，2006年。
[24] 迈尔斯，R。；帕丁森，D。；Schröder，L.，Coalgebraic混合逻辑，（第十二届FOSSACS会议论文集。第十二届FOSSACS大会论文集，计算机科学讲稿，第5504卷（2009），Springer-Verlag），137-151·Zbl 1234.03020号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。