×

介绍无功模式表。 (英语) Zbl 1271.03028号

本文介绍了如何为以反应Kripke框架为特征的模态逻辑建立反应Beth表。反应性的概念是基于这样一种观察,即如果我们根据导致这种状态的路径,从某种状态进行可能的移动,那么我们可以改变关系框架的逻辑,使其更加动态。从形式上来说,它应该将路径视为结构的附加状态。Gabbay和他的合作者已经应用了这个解决方案来描述违背义务、等级条件、非单调结果等。
本文从一个单点自反框架的简单逻辑的案例研究开始,展示了如何使其成为反应的。首先,讨论了所谓开关无功模型的最简单情况,归纳定义了(k)级箭头的概念。这些箭头集概括了普通的可访问性关系(一级箭头集)。在本文的其余部分,介绍了更一般和更复杂的结构,并考虑了它们的Beth tableaux。除此之外,还给出了一些公理系统的完备性结果草图,并证明了反应框架比普通的克里普克框架更强。一般来说,它以语义方式显示了如何通过添加更高级别的箭头使tableaux变为reactive,并允许模型相应地更改。最后一部分介绍了一种语法方法,定义了反应表的复杂性、可行性和有效性算法。

MSC公司:

03B45号 模态逻辑(包括规范逻辑)
03财年03 一般证明理论(包括证明理论语义)
03B62号 组合逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Beth,E.W.:语义蕴涵和形式派生。Meded公司。K.内德.阿卡德。潮湿。18(3), 309–342 (1955)
[2] Crochemore,M.,Gabbay,D.M.:反应自动机。Inf.计算。209(4), 692–704 (2011). doi:10.1016/j.ic.2011.01.002·Zbl 1210.68067号 ·doi:10.1016/j.ic.2011.01.002
[3] 达戈斯蒂诺,M.:经典命题逻辑的Tableaux方法。摘自:《Tableaux方法手册》,第45-123页(1999年)
[4] D’Agostino,M.,Gabbay,D.,Hähnle,R.,Possegga,J.:表格方法手册。Kluwer学术出版社(1999)
[5] Fitting,M.:模态逻辑和直觉逻辑的证明方法。雷德尔(1983)·Zbl 0523.03013号
[6] Gabbay,D.M.:反应Kripke语义和弧可访问性。摘自:Avron,A.,Dershowitz,N.,Rabinovich,A.(编辑)《计算机科学的支柱》*:在鲍里斯·特拉赫滕布罗特85岁生日之际献给他的论文。《计算机科学讲义》,第4800卷,第292–341页。施普林格,柏林(2008)。本期修订版
[7] Gabbay,D.M.:反应Kripke模型和逆差责任。收录:van der Meyden,R.,van der Torre,L.(编辑)DEON-2008:计算机科学中的道义逻辑。LNAI,第5076卷,第155-173页。施普林格(2008)·Zbl 1144.03012号
[8] Gabbay,D.M.:反应式直觉画面。合成179(2),253-269(2011)。为纪念Beth,E.W.,van Benthem,J.,Kuipers,T.,Visser,H.(编辑)发行的特别版。http://www.springerlink.com/openurl.asp?gener=article&id=doi:10.1007/s11229-010-9781-8
[9] Gabbay,D.M.:反应模态逻辑的完备性定理。安。数学。Artif公司。因特尔。(2012). doi:10.1007/s10472-012-9315-9·Zbl 1296.03017号
[10] Gabbay,D.M.:反应Kripke模型和逆差责任。一般理论。应用逻辑杂志(即将出版)·Zbl 1144.03012号
[11] Gabbay,D.M.,Schlechta,K.:有限并下无闭包域的累积性。符号逻辑评论1(3),372–392(2008)·Zbl 1205.03041号 ·doi:10.1017/S1755020308080258
[12] Gabbay,D.M.,Marcelino,S.:反应框架的模态逻辑。螺柱日志。93403–444(2009年)·Zbl 1193.03036号
[13] Gabbay,D.M.,Schlechta,K.:不可行遗传系统的分析。逻辑Jnl。IGPL 17(1),1-54(2009)·Zbl 1155.68081号 ·doi:10.1093/jigpal/jzn021
[14] Gabbay,D.M.,Schlechta,K.:反应优先结构和非单调结果。符号逻辑综述2(2),414-450(2009)·Zbl 1174.03010号 ·doi:10.1017/S1755020309090248
[15] Gabbay,D.M.,Schlechta,K.:大小和逻辑。符号逻辑综述2(2),396–404(2009)·Zbl 1174.03009号 ·doi:10.1017/S1755020309090224
[16] Gabbay,D.M.,Schlechta,K.:等级条件句理论。《逻辑语言信息杂志》19(1),2–32(2010)·Zbl 1193.03037号
[17] Gabbay,D.M.,Strasser,C.:反应式标准道义逻辑。J.日志。计算。(出现)。道义逻辑60年专刊·兹比尔1380.03028
[18] Gabbay,D.,Barringer,H.,Woods,J.:论证网络的时间动力学。收录:Hutter,D.,Stephan,W.(编辑)《献给Joerg Siekmann的卷》。机械化数学推理,Springer计算机科学讲稿,第2605卷,第59-98页(2005)·Zbl 1098.68122号
[19] Gabbay,D.M.,Barringer,H.,Rydeheard,D.:反应语法。收录:Dershowitz,N.(编辑)《纪念雅科夫·乔伊卡的LNCS卷》。施普林格(即将亮相)
[20] Gore,R.:模态和时序逻辑的Tableaux方法。摘自:《表格方法手册》,第297-369页(1999年)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。