徐明 stit和action的组合。 （英语） Zbl 1216.03039号 J.逻辑语言信息。 19，第4期，485-503（2010）。 小结：我们提出了一个以分支时间为背景的简单行为理论，在此基础上，我们提出了两个版本的扩展stit理论，一个具有特定的行为，另一个具有这些行为的集合。在报告了这种理论正式发展的一些基本结果之后，我们简要探讨了它与分支ETL版本的联系。 引用于6文件 MSC公司： 03B45号 模态逻辑（包括规范的逻辑） 03A05号 逻辑和基础的哲学和批判性方面 03B44号 时间逻辑 关键词：斯蒂特；代理逻辑；行动逻辑；分支时间 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}，J.Logic Lang.Inf.19，第4期，485--503（2010；Zbl 1216.03039） 全文： 内政部 参考文献： [1] Balbiani P.，Herzig A.，Troquard N.（2008）审议性stit理论的替代公理学和复杂性。哲学逻辑杂志37:387–406·Zbl 1151.03008号 ·doi:10.1007/s10992-007-9078-7 [2] Belnap，N.（1995）。分支历史的结果。匹兹堡大学哲学系未出版手稿。 [3] Belnap N.（1996）结果的想法。《塞尔维亚科学评论》19（20）：15–16·Zbl 0897.03056号 [4] Belnap N.（2005）因果关系理论：因果关系（起源原因）作为分支时空中的inus条件。英国科学哲学杂志56:221–253·Zbl 1084.83036号 ·doi:10.1093/bjps/axi115 [5] Belnap N.，Perloff M.（1988年）《注意：代词的规范形式》。理论54:175–199·doi:10.1111/j.1755-2567.1988.tb00717.x [6] Belnap N.、Perloff M.、Xu M.（2001）《面向未来：非决定论世界中的代理人和选择》。牛津大学出版社 [7] Broersen，J.（2008a）。一个完整的知识和行动的stit逻辑，以及它的一些应用。在M.Baldoni、T.C.Son、M.B.van Riemsdijk和M.Winikoff（编辑），Declarative agent languages and technologies VI，DALT 2008（计算机科学讲义第5397卷，第47-59页）。柏林：斯普林格·兹比尔1207.03021 [8] Broersen，J.（2008b）。对“义务做”和“知情做”之间相互作用的逻辑分析。R.van der Meyden和L.van de Torre（编辑）（第140-154页）·Zbl 1143.03335号 [9] Broersen J.、Herzig A.、Troquard N.（2006a）《在机构的战略战略逻辑中嵌入交替时间时序逻辑》。逻辑与计算杂志16（5）：559–578·2014年3月11日 ·doi:10.1093/log.com/exl025 [10] Broersen，J.、Herzig，A.和Troquard，N.（2006b）。ATL的静态扩展。M.Fisher（编辑），《第十届欧洲人工智能逻辑会议论文集》，JELIA 06（人工智能讲义第4160卷，第69-81页）。柏林：斯普林格·Zbl 1152.68597号 [11] Broersen，J.、Herzig，A.和Troquard，N.（2009年）。群体做什么、能做什么、知道自己能做什么：一种正常的模态逻辑分析。应用非经典逻辑杂志（即将出版）·Zbl 1210.03015号 [12] Brown M.（1988）论能力的逻辑。哲学逻辑杂志17:1-26·Zbl 0653.03003号 ·doi:10.1007/BF00249673 [13] Brown，M.（2008a）。表演、事件和行动。R.van der Meyden和L.van de Torre（编辑）（第19-33页）·Zbl 1143.03303号 [14] Brown，M.（2008b）。分支时间中的行为和动作。雪城大学哲学系手稿。在协会第36届年会上介绍了精确哲学。 [15] 坎贝尔C.A.（1957）《论自我与神性》。乔治·艾伦和安文有限公司，纽约麦克米兰公司 [16] Chellas B.（1969）祈使句的逻辑形式。斯坦福大学佩里·莱恩出版社 [17] Davidson，D.（1971）。代理。在R.B.Robert Binkley和A.Marras（编辑）的《代理人、行动和理性》（第43–61页）中。多伦多：多伦多大学出版社（1980年戴维森再版）。 [18] Davidson D.（1980）关于行动和事件的论文。牛津大学出版社 [19] Governatori，G.、Hodkinson，I.和Venema，Y.（编辑）。(2006). 模态逻辑进展（第6卷）。英国伦敦WC2R 2LS Strand计算机科学系大学出版物·Zbl 1135.03001号 [20] Horty，J.F.（1989）。另一个stit运算符。马里兰大学哲学系手稿。 [21] Horty J.F.（2001）代理和道义逻辑。牛津大学出版社·Zbl 1119.03313号 [22] van Benthem，J.F.A.K.（2008）。信息和交互的逻辑动态。手稿·Zbl 1168.03313号 [23] Benthem J.，Gerbrandy J.，Hoshi T.，Pacuit E.（2009）为交互合并框架。哲学逻辑杂志38:491–526·Zbl 1185.03019号 ·doi:10.1007/s10992-008-9099-x [24] van Benthem，J.和Pacuit，E.（2006年）。《行动中的知识树：走向共同的视角》（第87–106页）（Governatori等人，2006年）·Zbl 1148.03009号 [25] van der Meyden，R.和van der Torre，L.（编辑）。（2008年）。计算机科学中的道义逻辑：第九届国际会议，DEON 2008，卢森堡，2008年7月，会议记录（人工智能讲稿第5076卷）。柏林：斯普林格·Zbl 1142.03005号 [26] 库切拉F.（1986）Bewirken.Erkentnis 24:253–281 [27] Kutschera F.（1993）因果关系。哲学逻辑杂志22:563–588·Zbl 0790.03004号 [28] Wansing，H.（2006）。多主体审议逻辑表（第503–520页）（见Governatori等人，2006年）·Zbl 1148.03008号 [29] Wölfl S.（2002）命题Q逻辑。哲学逻辑杂志31:387–414·Zbl 1011.03010号 ·doi:10.1023/A：1020163602542 [30] Wölfl S.（2005）分支时间中的事件。Studia逻辑79：255–282·Zbl 1068.03015号 ·数字对象标识代码：10.1007/s11225-005-2978-z [31] Xu，M.（1994）。具有多个代理的审议性stit理论的决定性。D.M.Gabbay和H.J.Ohlbach（编辑），《时间逻辑》，第一届国际会议，ICTL’94，德国波恩，会议记录（人工智能讲稿第827卷，第332-348页）。柏林：斯普林格·Zbl 0949.03501号 [32] 徐明（1997）分支时间中的因果关系（I）：过渡、事件和原因。合成112:137–192·Zbl 0931.03008号 ·doi:10.1023/A:1004948726086 [33] 徐明（1998）审议准则。哲学逻辑杂志27:505–552·Zbl 0917.03007号 ·doi:10.1023/A：1004274131669 [34] Xu，M.（2009年a）。作为事件的操作。武汉大学哲学系未出版手稿。 [35] Xu，M.（2009年b）。stit公理与基于分支时间度量时态逻辑的动作。武汉大学哲学系未出版手稿。 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。