徐明 战略与行动的结合。 （英语） 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）《另类公理学和审议理论的复杂性》。哲学逻辑杂志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（编辑），声明代理语言和技术VI，DALT 2008（计算机科学讲义第5397卷，第47-59页）。柏林：斯普林格·Zbl 1207.03021号 [8] Broersen，J.（2008年b）。对“义务做”和“知情做”之间相互作用的逻辑分析。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] 戴维森·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 Logica公司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·兹伯利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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。