马克·雷诺兹 一种可判定的并行时序逻辑。 （英语） Zbl 0904.03010号 圣母院J.形式逻辑 38，第3期，419-436（1997）. 摘要：我们介绍了一种简单的时序逻辑，适用于对并行宇宙、并行进程、分布式系统或多代理的时序方面进行推理。我们使用马赛克方法的一种变体来证明这种逻辑的可判定性。我们还证明了该逻辑不具有有限模型属性。这表明镶嵌法有时是建立可判定性的一种更强有力的方法。 引用于14文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03B25号 理论和句子集的可决定性 03B80号 逻辑的其他应用 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 关键词：时序逻辑;平行宇宙;并行进程;分布式系统;多个代理;镶嵌法;可判定性;有限模型特性 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds}，圣母院J.形式逻辑38，No.3，419--436（1997；Zbl 0904.03010） 全文： 内政部 参考文献： [1] Belnap，N.和M.Perloff，“Seeing to it：agent的规范形式”，第175-99页，《Knowledge Representation and Defeasible Reasonings》，由H.Kyburg、R.Loui和G.Carlson编辑，Kluwer Academic Publishers，Dordrecht，1990年。 [2] Burgess，J.P.，“逻辑与时间”，《符号逻辑杂志》，第44卷（1979年），第566–82页。JSTOR公司：·Zbl 0423.03018号 ·doi:10.2307/2273296 [3] Di Maio，M.和A.Zanardo，“分支时间的先兆表示中的同步历史”，第265–82页，《时间逻辑：ICTL 94的程序》，D.Gabbay和H.Ohlbach编辑，LNAI第827卷，Springer-Verlag，柏林，1994年·Zbl 0949.03514号 ·doi:10.1007/BFb0013993 [4] Di Maio，M.和A.Zanardo，“有效性的无Gabbay规则公理化”，《技术报告》，帕多瓦大学马特马提卡分校，1996年·Zbl 0920.03032号 ·doi:10.1023/A:1004284420809 [5] Fagin，R.、J.Halpern、Y.Moses和M.Vardi，《知识推理》，麻省理工出版社，剑桥，1995年·Zbl 0839.68095号 [6] Finger，M.和D.Gabbay，“组合时序逻辑系统”，《圣母院形式逻辑杂志》，第37卷（1996年），第204-32页·Zbl 0857.03008号 ·数字对象标识代码：10.1305/ndjfl/1040046087 [7] Finger，M.和D.M.Gabbay，“为逻辑系统添加时间维度”，《逻辑语言与信息杂志》，第1卷（1992年），第203-33页·Zbl 0798.03031号 ·doi:10.1007/BF00156915 [8] Gabbay，D.、I.Hodkinson和M.Reynolds，《时间逻辑：数学基础和计算方面》，第1卷，牛津大学出版社，牛津，1994年·Zbl 0921.03023号 [9] Gurevich，Y.和S.Shelah，“分支时间逻辑的决策问题”，《符号逻辑杂志》，第50卷（1985），第668-81页。JSTOR公司：·Zbl 0584.03006号 ·doi:10.2307/2274321 [10] Herwig，B.，“在有限结构上扩展部分同构”，《组合数学》，第15卷（1995年），第365-71页·Zbl 0830.05037号 ·doi:10.1007/BF01299742 [11] Hirsch，R.、I.Hodkinson、M.Marx、S.MikuláS和M.Reynolds，“马赛克和分步”，即将出版于《工作中的逻辑：纪念海伦娜·拉西奥瓦的文章》，由E.Orlowska编辑·Zbl 0924.03030号 [12] Hrushovski，E.，“扩展图的部分同构”，《组合数学》，第12卷（1992年），第411-16页·Zbl 0767.05053号 ·doi:10.1007/BF01305233 [13] Marx，M.，“模态逻辑产品的复杂性”，IR-396技术报告，ILLC，阿姆斯特丹大学，1995年·Zbl 0945.03025号 ·doi:10.1093/log/9.2.197 [14] Marx，M.，“第二维度的马赛克和圆柱模态逻辑”，即将发表于模态逻辑进展论文集，柏林，1996年。 [15] Németi，I.，“代数逻辑中的自由代数和可判定性”，匈牙利科学院博士论文，布达佩斯，1986年。 [16] Pratt，V.R.，“程序逻辑模型”，第115-22页，《第二十届IEEE计算机科学基础研讨会论文集》，圣胡安，1979年。 [17] Reif，J.和A.Sistla，“具有时间和空间模式的多进程网络逻辑”，《计算机与系统科学杂志》，第30卷（1985年），第41-53页·兹伯利0565.68031 ·doi:10.1016/0022-0000（85）90003-0 [18] Reynolds，M.，“可判定的平行逻辑”，《技术报告》，伦敦国王学院，1997年·Zbl 0904.03010号 ·doi:10.1305/ndjfl/1039700748 [19] Segerberg，K.，“二维模态逻辑”，《哲学逻辑杂志》，第2卷（1973年），第77-96页·Zbl 0259.02013 ·doi:10.1007/BF02115610 [20] Sistla，A.和S.German，“多过程推理”，第138-52页，《第二届IEEE计算机科学逻辑研讨会论文集》，IEEE，波士顿，1987年。 [21] Thomason，R.，《时态和情态的组合》，第135–65页，《哲学逻辑手册》，第2卷：经典逻辑的延伸，D.Gabbay和F.Guenthner，Reidel，Dordrecht编辑，1984年·Zbl 0875.03047号 [22] Thomason，S.，“独立命题模态逻辑”，《逻辑研究》，第39卷（1980年），第143-44页·Zbl 0457.03017号 ·doi:10.1007/BF00370317 [23] Venema，Y.和M.Marx，“关系的模态逻辑”，《IR-396技术报告》，阿姆斯特丹大学信息学院，阿姆斯特朗，1995年·Zbl 0924.03030号 [24] von Kutschera，F.，“因果关系”，《哲学逻辑杂志》，第22卷（1993年），第563-88页·Zbl 0790.03004号 ·doi:10.1007/BF01054036 [25] 冯·库切拉（von Kutschera，F.），“（Ttimes W）完备性”，《哲学逻辑杂志》（Journal of Philosophical Logic）即将出版·Zbl 0873.03023号 ·doi:10.1023/A:1017942520078 [26] Zanardo，A.，“强有效Ockamist公式集的有限公理化”，《哲学逻辑杂志》，第14卷（1985年），第447-68页·Zbl 0579.03015号 ·doi:10.1007/BF00649485 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。