阿尔贝托·加托 具有不可区分关系的分支时间逻辑的公理化。 （英语） Zbl 1392.03027号 J.菲洛斯。日志。 45，第2期，155-182（2016）. 摘要：具有不可区分关系的树为“由”皮尔士时态操作符和Ockhamist情态操作符组成的时间语言提供了语义。本文给出了该语言在具有不可区分关系的捆绑树上的有限公理化和非标准规则。这个公理化被证明是合理的和强完整的。 MSC公司： 03B44号 时间逻辑 关键词：分支时间；有限公理化；强完整性；不可区分性；非自反性规则；捆绑树 PDF格式BibTeX公司 XML格式引用 \textit{A.Gatto}，J.Philos。日志。45，第2号，155--182（2016；Zbl 1392.03027） 全文： 内政部 参考文献： [1] Ben-Ari，M.、Manna，Z.和Pnueli，A.（1983年）。分支时间的时间逻辑。《信息学报》，207-226年第20.3期·Zbl 0533.68036号 ·doi:10.1007/BF01257083 [2] Burgess，J.（1980）。分支时间的可决定性。Studia Logica，第39.2页，第203-218页·兹比尔0467.03006 ·doi:10.1007/BF00370320 [3] Belnap，N.、Perloff，M.和Xu，M.（2001年）。面向未来。我们这个非决定论世界中的代理人和选择。纽约：牛津大学出版社。 [4] Emerson，E.和Clarke，E.（1982）。使用分支时间时序逻辑合成同步骨架。计算机程序设计科学，2.3，241-266·Zbl 0514.68032号 ·doi:10.1016/0167-6423（83）90017-5 [5] Emerson，E.和Halpern，J（1986）。”有时会重温“和”从不“：关于分支与线性时间。美国医学会杂志，33.151-178·兹比尔0629.68020 ·doi:10.1145/4904.4999 [6] Gabbay，D.（1981）。一个不自反引理及其在时态框架条件公理化中的应用。在Mönich，U.（Ed.）《哲学逻辑方面》（第67-89页）。多德雷赫特：D.Reidel出版公司·Zbl 0519.03008号 [7] Gabbay，D.、Hodkinson，I.和Reynolds，M.（1994年）。时间逻辑：数学基础和计算方面。第一卷伦敦：牛津大学出版社·兹比尔0875.003007 ·doi:10.1007/BFb0013976 [8] Kamp，H.（1968年）。时态逻辑和线性顺序理论。博士论文。洛杉矶：加利福尼亚大学·Zbl 1002.03015号 [9] Laroussinie，F.和Schnoebelen，P.（1994）。时间逻辑与过去的层次结构。Enjalbert，P.、Mayr，E.和Wagner，K.（编辑）《STACS会议记录？《计算机科学讲义》第775卷第94页（第47-58页）。海德堡：施普林格出版社·Zbl 0873.68068号 [10] Nishimura，H.（1979年）。分支结构的语义是否适合时序模态逻辑？。哲学逻辑杂志，8.1，469-475·Zbl 0415.03016号 [11] Øhrström，P.，&Hasle，P.F.V.（1996）。时间逻辑：从古代思想到人工智能。Kluver学术出版社·Zbl 0855.03003号 [12] A.（1967年）。以前、过去、现在和未来。克拉伦登出版社·Zbl 0169.29802号 [13] Reynolds，M.（2001）。完整计算树逻辑的公理化。符号逻辑杂志，66.3，1011-1057·Zbl 1002.03015号 ·doi:10.2307/2695091 [14] Reynolds，M.（2002）。分支时间公理。逻辑与计算杂志，12.4679-697·Zbl 1004.03015号 ·doi:10.1093/log.com/12.4.679 [15] Reynolds，M.（2002）。普赖尔的奥克哈密主义历史必然性逻辑的公理化。在Balbiani，P.、Suzuki，N.、Wolter，F.和Zakharyaschev，M.（编辑）《模态逻辑进展》（第4卷，第355-370页）中·Zbl 1082.03015号 [16] Reynolds，M.（2005）。PCTL*的公理化。信息与计算，201.1，72-119·Zbl 1099.03013号 ·doi:10.1016/j.ic.2005.03.005 [17] Stirling，C.（1992）。模态和时序逻辑。Abramsky，S.、Gabbay，D.和Maibaum，T.（编辑）《计算机科学逻辑手册》第2卷（第477-563页）。牛津：克拉伦登出版社。 [18] Thomason，R.（1984）。时态和情态的组合。在Gabbay，D.和Guenthner，F.（编辑）《哲学逻辑学手册》，第二卷：经典逻辑的扩展（第135-165页）。多德雷赫特：Kluwer学术出版社·Zbl 0875.03047号 [19] Zanardo，A.（1985）。强有效Ockhamit公式集的有限公理化。《哲学逻辑杂志》，14.447-468·兹伯利0579.03015 ·doi:10.1007/BF00649485 [20] Zanardo，A.（1990年）。“皮尔逊”分支时间逻辑的公理化。Studia Logica，第49.2页，第183-195页·Zbl 0724.03014号 ·doi:10.1007/BF00935598 [21] Zanardo，A.和Carmo，J.（1993年）。Ockhamist计算逻辑：CTL中的过敏症必要性。逻辑与计算杂志，3.3，249-268·Zbl 0801.03016号 ·doi:10.1093/log/3.3.249 [22] Zanardo，A.（1998）。分支时间逻辑中不可分割和不可区分的历史。《逻辑、语言和信息杂志》，7.3，297-315·Zbl 0921.03024号 ·doi:10.1023/A:1008259000544 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。