安吉洛·蒙塔纳里;加布里埃尔，小狗;皮埃特罗·萨拉 具有锥形基本方向的可判定空间逻辑。 （英语） Zbl 1257.03054号 Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771，394-408（2009）。 摘要：我们介绍了一种基于有理平面上锥形基本方向的空间模态逻辑，并证明了与基于投影的空间模态逻辑学不同，例如罗盘逻辑，其可满足性问题是可判定的（PSPACE-完全）。我们还表明，它具有足够的表达能力，可以包含有意义的区间时序逻辑，从而推广了文献中的先前结果，例如，它的可判定性意味着有理线上解释的子区间/超区间时序逻辑的可判定性。关于整个系列，请参见[Zbl 1175.68011号]. 引用于6文件 MSC公司： 03B70号 计算机科学中的逻辑 03B25号 理论和句子集的可判定性 03B44号 时间逻辑 03B45号 模态逻辑（包括规范逻辑） PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，Lect。注释计算。科学。5771、394--408（2009年；Zbl 1257.03054） 全文： 内政部 哈尔 参考文献： [1] Aiello，M.，Pratt-Hartmann，I.，van Benthem，J.：《空间逻辑手册》。斯普林格，海德堡（2007）·Zbl 1172.03001号 ·doi:10.1007/978-1-4020-5587-4 [2] Allen，J.F.：保持对时间间隔的了解。计算机协会通讯26（11），832–843（1983）·Zbl 0519.68079号 ·数字对象标识代码：10.1145/182.358434 [3] Bresolin，D.，Goranko，V.，Montanari，A.，Sala，P.：稠密序上子区间结构逻辑的基于表的决策程序。《逻辑与计算杂志》（2008），doi:10.1093/log.com/exn063·Zbl 1188.03009号 ·doi:10.1093/log.com/exn063 [4] Frank，A.U.：关于地理空间中距离和方向的定性空间推理。视觉语言与计算杂志3343–371（1992）·doi:10.1016/1045-926X（92）90007-9 [5] Gabbay，D.M.、Kurucz，A.、Wolter，F.、Zakharyaschev，M.：多维模态逻辑：理论与应用。《逻辑与数学基础研究》，第148卷。爱思唯尔科学出版社，阿姆斯特丹（2003）·Zbl 1051.03001号 [6] Lodaya，K.：强化区间时序逻辑的不确定性。摘自：He，J.，Sato，M.（编辑）《亚洲2000》。LNCS，第1961卷，第290-298页。斯普林格，海德堡（2000）·Zbl 0987.03015号 ·文件编号：10.1007/3-540-44464-5_21 [7] 马克思，M.，雷诺兹，M.：指南针逻辑的不可解释性。《逻辑与计算杂志》9（6），897–914（1999）·Zbl 0941.03018号 ·doi:10.1093/log.com/9.6.897 [8] Meier，A.、Mundhenk，M.、Thomas，M.和Vollmer，H.：CTL和CTL*片段可满足性的复杂性。理论计算机科学电子笔记223201–213（2008）·Zbl 1337.68134号 ·doi:10.1016/j.entcs.2008.12.040 [9] Morales，A.，Navarrete，I.，Sciavicco，G.：一种新的空间推理模态逻辑：空间命题邻域逻辑。数学与人工智能年鉴51（1），1-25（2007）·Zbl 1127.03013号 ·doi:10.1007/s10472-007-9083-0 [10] Safra，S.：关于{\（\omega\）}-自动机的复杂性。摘自：第29届计算机科学基础年度研讨会论文集，第319-327页。IEEE计算机学会出版社，洛斯·阿拉米托斯（1988） [11] Shapirovsky，I.，Shehtman，V.B.：闵可夫斯基时空中的时序未来形态。摘自：《模态逻辑进展第四届会议论文集》，第437-460页。国王学院出版物（2003）·Zbl 1082.03016号 [12] Stock，O.：空间和时间推理。Kluwer学术出版社，Dordrecht（1997）·doi:10.1007/978-0-585-28322-7 [13] Venema，Y.：区间时态逻辑的表达性和完整性。《圣母院形式逻辑杂志》31（4），529–547（1990）·Zbl 0725.03006号 ·doi:10.1305/ndjfl/1093635589 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。