Dov M.加巴伊。;塞尔吉奥·马塞利诺 反应框架的模态逻辑。 （英语） Zbl 1193.03036号 双头螺栓日志。 93，编号2-3，405-446（2009）. 摘要：反应图通过使其动态化来概括图的概念，即从一点发出的箭头取决于我们到达那里的方式。这一思想在年首次应用于模态逻辑的克里普克语义[H.巴林格，D.加贝和J.伍兹，莱克特。注释计算。科学。2605, 59–98 (2005;兹比尔1098.68122)]. 在本文中，我们通过添加第二个运算符来加强这种单峰语言。一个运算符对应于动力学关系，另一个运算符关联具有相同端点的路径。我们通过将反应框架的一些自然子类公理化来探索这种解释的表达性。本文的主要目的是提出一种利用现有经典技术研究反应逻辑的方法。 引用于1审查引用于8文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 68T27型 人工智能中的逻辑 关键词：反应图;反作用框架;双模逻辑;克里普克语义学 引文：兹比尔1098.68122 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}和\textit{S.Marcelino}，Stud.Log。93，编号2--3405--446（2009；Zbl 1193.03036） 全文： 内政部 链接 参考文献： [1] Barringer，H.、D.M.Gabbay和D.Rydeheard，《反应语法》，收录于N.Dershovitz（编辑），LNCS卷，以纪念斯普林格的Yakov Choueka。 [2] Barringer，H.、D.M.Gabbay和J.Woods，“论证网络的时间动力学”，载于D.Hutter和W.Stephan（编辑），《献给Joerg Siekmann的卷》，《机械化数学推理》，Springer计算机科学讲稿26052005年，第59–98页·Zbl 1098.68122号 [3] Blackburn P.，de Rijke M.，Venema Y.：模态逻辑。剑桥大学出版社，剑桥（2001）·Zbl 0988.03006号 [4] Crochemore，M.和D.M.Gabbay，《反应式自动机》，正在编写中·Zbl 1210.68067号 [5] Gabbay D.M.：“反应Kripke语义和电弧可及性”。收录于：Avron，A.，Dershowitz，N.，Rabinovich，A.（编辑）《计算机科学的支柱》*：《在鲍里斯·特拉赫滕布罗特85岁生日之际献给他的论文》，《计算机科学讲义》，第4800卷，第292-341页。柏林施普林格-弗拉格出版社（2008年） [6] Gabbay，D.M.，“反应Kripke模型和反责任义务”，载于《DEON 008:计算机科学中的道义逻辑》，R.van der Meyden和L.van de Torre，（编辑），LNAI 5076，Springer，2008年，第155-173页。 [7] Gabbay，D.M.，“反应性克里普克模型和反义务义务”。扩展版，发表在《应用逻辑杂志》上·Zbl 1144.03012号 [8] Gabbay，D.M.和S.Marcelino，Switch Graphs，正在编制中。 [9] Gabbay D.M.，Schlechta K.：“有限并下无闭包域的累积性”。符号逻辑评论1（3），372–392（2008）·Zbl 1205.03041号 ·doi:10.1017/S1755020308080258 [10] Gabbay D.M.，Schlechta K.：“反应优先结构和非单调结果”。《符号逻辑评论》2（2），414–450（2009）·兹比尔1174.03010 ·doi:10.1017/S1755020309090248 [11] Gabbay，D.M.和K.Schlechta，“失效遗传系统分析”，《IGPL逻辑杂志》，2009年，第17-54页·兹比尔1155.68081 [12] Gabbay D.M.、Schlechta K.：“尺寸和逻辑”。符号逻辑评论2396–404（2009）·Zbl 1174.03009号 ·doi:10.1017/S1755020309090224 [13] Gabbay，D.M.和K.Schlechta，反应描述逻辑。 [14] Gabbay，D.M.和K.Schlechta，“等级条件理论”。发表于《逻辑语言与信息杂志》，DOI 10.1007/s10849-009-9096-7。 [15] Goldblatt，R.，《时间与计算的逻辑》，语言与信息研究中心，1987年·兹伯利0635.03024 [16] Goranko V.：“双峰基L（R，-R）中的完全性和不完全性”。摘自：Petkov，P.（编辑）《数学逻辑》，第311-327页。纽约Plenum出版社（1990）·Zbl 0788.03018号 [17] Kurz，A.，《序列帧》，Proc。验证。Maribor大学新方向，1995年。http://www.cs.le.ac.uk/people/akurz/LMU/maribor.ps.gz 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。