亚历山大·波奇曼;Dov M.加巴伊。 因果动态推理。 （英语） Zbl 1280.03025号 安。数学。Artif公司。智力。 66，编号1-4，231-256（2012）. 总结：我们提出了因果动态推理的一般逻辑框架。作为第一步，我们引入了一种统一的结构形式，并为其指定了两种语义，抽象动态模型和关系模型。证明了相应的完备性结果。作为第二步，我们将结构形式主义扩展到一个两分类的状态转换演算，并证明其相对于相关关系语义的完备性。 MSC公司： 03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑） 关键词：动态推理;子结构推理;因果推理 软件：CCalc公司 PDF格式BibTeX公司 XML格式引用 \textit｛A.Bochman｝和\textit｛D.M.Gabbay｝，Ann.Math。Artif公司。智力。66，编号1--4，231--256（2012；Zbl 1280.03025） 全文： 内政部 链接 参考文献： [1] Barwise，J.，Gabbay，D.，Hartonas，C.：关于信息流的逻辑。牛市。IGPL 3、7–50（1995）·Zbl 0831.03012号 ·doi:10.1093/jigpal/3.1.7 [2] Bochman，A.，Gabbay，D.M.：时序动态逻辑。J.Logic Lang.Inf.21，279–298（2012）·Zbl 1305.03020号 ·doi:10.1007/s10849-011-9152-y [3] Bochman，A.：非单体推理和信念改变的逻辑理论。斯普林格（2001）·Zbl 0977.03001号 [4] Bochman，A.：非单调推理的因果方法。Artif公司。智力。160, 105–143 (2004) ·Zbl 1086.68125号 ·doi:10.1016/j.artint.2004.07.002 [5] 福布斯，K.D.：定性过程理论。Artif公司。智力。24, 85–168 (1984) ·doi:10.1016/0004-3702（84）90038-9 [6] Gabbay，D.M.：模态和时态逻辑研究。雷德尔（1976）·Zbl 0374.02013 [7] Giunchiglia，E.，Lee，J.，Lifschitz，V.，McCain，N.，Turner，H.：非单调因果理论。Artif公司。智力。153, 49–104 (2004) ·兹比尔1085.68161 ·doi:10.1016/j.artint.2002.12.001 [8] Groenendijk，J.，Stokhof，M.：动态谓词逻辑。语言学家。菲洛斯。14, 39–101 (1991) ·Zbl 0726.03024号 ·doi:10.1007/BF00628304 [9] 金泽明：推理与写作混合风格的完整性和可判定性。摘自：Dekker，P.，Stokhof，M.（编辑）《第九届阿姆斯特丹学术讨论会会议记录》，第377-390页（1994年） [10] Pratt，V.R.：并发和分支时间中的转换和取消。数学。结构。计算。科学。13, 485–529 (2003) ·Zbl 1088.68131号 ·doi:10.1017/S0960129503004031 [11] 斯蒂德曼：时间的产生：语言语义学中的时间性和因果关系。草案5.0（2005年） [12] van Benthem，J.：探索逻辑动力学。CSLI出版物。(1996) ·Zbl 0873.03001号 [13] 范格拉贝克。R.J.、Plotkin G.D.：配置结构、事件结构和Petri网。西奥。计算。科学。410, 4111–4159 (2009) ·Zbl 1187.68329号 ·doi:10.1016/j.tcs.2009.06.014 [14] van Lambalgen，M.，Hamm，F.：事件的正确处理。Wiley-Blackwell（2004） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。