×
保罗·A·S·维洛索。；Sheila R.M.维洛索。；马里奥·贝尼维德斯。

关于模态的图演算。 （英语） Zbl 1401.03047号

西奥。计算。科学。 685, 83-103 (2017).
作者描述了多模态逻辑的图演算，即人们可以用图形表示和推理多模态逻辑。微积分允许用图形表示克里普克语义框架属性和模态公式，包括包含无法用标准方式表示的模态运算符的公式。本文证明了微积分的稳健性和完备性定理。
审核人：Max A.Freund（圣何塞）

MSC公司：

03B45 模态逻辑（包括规范逻辑）

关键词：

多模态逻辑；图微积分；克里普克语义框架
PDF格式BibTeX公司 XML格式引用
\textit{P.A.S.Veloso}等人，Theor。计算。科学。685，83-103（2017；Zbl 1401.03047）
全文： 内政部

参考文献：

[1] 巴尔比亚尼，P。；Vakarelov，D.，《带交集的无交互PDL：一个完整的公理化》，基金。通知。，33, 1-22 (1998)
[2] 巴尔比亚尼，P。；Vakarelov，D.，《程序交叉的PDL：一个完整的公理化》，J.Appl。非经典逻辑，13，231-276（2003）·Zbl 1181.03030号
[3] 布莱克本，P。；de Rijke，M。；Venema，Y.，模态逻辑（2001），剑桥大学出版社：剑桥大学出版社·Zbl 0988.03006号
[4] Castilho，医学硕士。；del Cerro，L.F。；Gasquet，O。；Herzig，A.，《具有传播规则和结构规则的模态表》，基金。通知。，二十、 1-17（1998）
[5] Carbone，A.，从逻辑流图中读出的组合证明和顺序演算证明之间的新映射，Inform。和计算。，208, 500-509 (2010) ·Zbl 1200.68218号
[6] 卡尼埃利，W。；Pizzi，C.，《模式和多模式》（2008年），《Springer-Verlag:Springer-Verlag Berlin》·Zbl 1210.03017号
[7] Catach，R.，正规模态逻辑（Proc.AAAI-88（1988）），491-495
[8] 柯蒂斯，S。；Lowe，G.，《图形证明》，科学。计算。程序。，26, 197-216 (1996) ·Zbl 0852.68070号
[9] Dau，F.等人。；Eklund，P.，描述逻辑ALC，J.Vis的图解推理系统。语言计算。，19, 5, 539-573 (2008)
[10] Demri，S。；Deters，M.，《分离逻辑和模式：调查》，J.Appl。非经典逻辑，25，50-99（2015）·Zbl 1398.03151号
[11] 费金，R。；Halpern，J。；摩西，Y。；Vardi，M.，《关于知识的推理》（1995），麻省理工学院出版社：麻省理学院出版社剑桥·Zbl 0839.68095号
[12] 弗雷塔斯，R。；Veloso，P.A.S。；Veloso，S.R.M.公司。；Viana，P.，《论图形推理》，《信息》。和计算。，207, 1000-1014 (2009) ·兹比尔1187.68355
[13] 弗雷塔斯，R。；Veloso，P.A.S。；Veloso，S.R.M。；Viana，P.，《带补码图的微积分》，（Goel，A.K.；Jamnik，M.；Narayanan，N.H.，《图表2010》。图表2010，LNCS，第6170卷（2010）），84-98
[14] 盖弗斯，H。；Loeb，I.，《通过图的自然演绎：形式定义和计算规则》，数学。结构计算。科学。，17, 03, 485-526 (2007) ·Zbl 1159.03040号
[15] MacLane，S.，《工作数学家的类别》（1998年），施普林格-弗拉格：柏林施普林格·兹标0906.18001
[16] Negri，S.，《模态逻辑中的证明分析》，J.Philos。逻辑，34507-544（2005）·Zbl 1086.03045号
[17] 罗伯茨，D.D.，《查尔斯·皮尔斯的存在图》（1973），《莫顿：海牙莫顿》
[18] Shin，S.J.，《皮尔士图的象征逻辑》（2002），布拉德福德图书：布拉德福德书刊·Zbl 1052.03001号
[19] Veloso，P.A.S。；Veloso，S.R.M.，关于关系包含的图反驳，（Rocca，S.R.D.；Pimentel，E.，EPTCS，第81卷（2011）），47-62·Zbl 0996.68113号
[20] Veloso，P.A.S。；Veloso，S.R.M。；Benevides，M.R.F.，《关于模态逻辑的图形方法》，（《理论计算机科学电子笔记》，ENTCS，第305卷（2014），Elsevier），123-139·Zbl 1335.03022号
[21] Veloso，P.A.S。；Veloso，S.R.M。；Benevides，M.R.F.，结构化数据的PDL：图形-演算方法，Log。J.IGPL，22，5，737-757（2014）·Zbl 1407.68340号
[22] Veloso，P.A.S。；Veloso，S.R.M。；Benevides，M.R.F.，《关于多模逻辑的图形计算》，（理论计算机科学电子笔记，ENTCS，第352卷（2015），Elsevier），231-252·Zbl 1343.03016号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。