×
马克·卡明斯基;格特·斯莫尔卡

具有差分和逆的混合逻辑的终止表系统。 （英语） Zbl 1188.03013号

J.逻辑语言信息。 18，第4期，437-464（2009）.
本文提出了一种基于表的混合逻辑决策过程，该过程具有全局、差分和逆形式，同时考虑了自反和传递关系。主要贡献是一个新的模型存在定理，一个不依赖于通常基于链的阻塞方案的终止控制，一个对带有名词和差分的方程约束的新处理，以及一个差分模态的终止表。
审核人：埃米利奥·穆尼奥斯·韦拉斯科

引用于14文件

MSC公司：

03B45 模态逻辑（包括规范逻辑）
03B35型 证明和逻辑操作的机械化
03B62号 组合逻辑

关键词：

模态逻辑;混合逻辑;差分模态;tableau系统;基于表格的决策过程
PDF格式BibTeX公司 XML格式引用
\textit{M.Kaminski}和\textit{G.Smolka}，J.Logic Lang.Inf.18，No.4，437--464（2009；Zbl 1188.03013）
全文： 内政部

参考文献：

[1] Areces C.，ten Cate B.（2007）混合逻辑。收录于：Blackburn P.、Benthem J.、Wolter F.（eds）模态逻辑手册，逻辑和实践推理研究第3卷。。纽约爱思唯尔，第821-868页
[2] Baader F.，Lutz C.（2007）《描述逻辑》。收录于：Blackburn P.、Benthem J.、Wolter F.（eds）模态逻辑手册，逻辑和实践推理研究第3卷。。爱思唯尔，纽约，第757–820页
[3] Balbiani，P.和Demri，S.（1997年）。带有丰富语言的模态逻辑的前缀tableaux系统。A.L.Ralescu和J.G.Shanahan（编辑），《第15届国际人工智能联合会议论文集》（IJCAI’97）（第190-195页），Morgan Kaufmann。
[4] Blackburn P.，de Rijke M.，de Venema Y.（2001）模态逻辑。剑桥大学出版社·Zbl 0988.03006号
[5] Bolander T.、Blackburn P.（2007）《混合场景的终止》。逻辑与计算杂志，17（3）：517–554·Zbl 1140.03005号 ·doi:10.1093/log.com/exm014
[6] Bolander T.，Braüner T.（2006）基于Tableau的混合逻辑决策过程。逻辑与计算杂志，16（6）：737–763·Zbl 1122.03006号 ·doi:10.1093/log.com/exl008
[7] de Rijke M.（1992）不等式的模态逻辑。符号逻辑杂志，57（2）：566–584·Zbl 0788.03019号 ·doi:10.2307/2275293
[8] Farmer W.M.（2008）简单类型理论的七大优点。应用逻辑杂志，6（3）：267–286·Zbl 1149.03012号 ·doi:10.1016/j.jal.2007.11.001
[9] Fitting M.（2007）模态证明理论。收录于：Blackburn P.、Benthem J.、Wolter F.（eds）模态逻辑手册，逻辑和实践推理研究第3卷。。纽约爱思唯尔出版社，第85-138页
[10] Gargov G.，Goranko V.（1993）《模态逻辑与名称》。哲学逻辑杂志，22:607-636·Zbl 0793.03012号 ·doi:10.1007/BF01054038
[11] Gargov，G.、Passy，S.和Tinchev，T.（1987年）。布尔推测的模态环境（初步报告）。在D.G.Skordev（Ed.）中，《数理逻辑及其应用：一所高级国际暑期学校的会议记录》（第253-263页），纪念库尔特·哥德尔诞辰80周年。增压器压力·Zbl 0701.03008号
[12] Halpern J.Y.，Moses Y.（1992）知识和信仰模态逻辑的完整性和复杂性指南。人工智能，54:319–379·Zbl 0762.68029号 ·doi:10.1016/0004-3702（92）90049-4
[13] Hardt M.，Smolka G.（2007）混合逻辑的高阶语法和饱和算法。理论计算机科学电子笔记，174（6）：15-27·doi:10.1016/j.entcs.2006.11.023
[14] Hintikka K.J.J.（1955）量化理论中的形式和内容。两篇关于符号逻辑的论文。《费尼卡哲学学报》，8:7-55
[15] Horrocks I.，Hustadt U.，Sattler U.，Schmidt R.（2007）计算模态逻辑。收录于：Blackburn P.、Benthem J.、Wolter F.（eds）模态逻辑手册，逻辑和实践推理研究第3卷。。纽约爱思唯尔出版社，第181-245页
[16] Horrocks I.，Sattler U.（1999）具有传递和反向角色以及角色层次结构的描述逻辑。逻辑与计算杂志，9（3）：385–410·Zbl 0940.03039号 ·doi:10.1093/log.com/9.3.385
[17] Horrocks I.，Sattler U.（2007）SHOIQ的表格决策程序。《自动推理杂志》，39（3）：249–276·Zbl 1132.68734号 ·doi:10.1007/s10817-007-9079-9
[18] Hughes G.E.，Cresswell M.J.（1968）模态逻辑导论。伦敦Methuen·Zbl 0205.00503号
[19] Kaminski，M.和Smolka，G.（2008年）。具有差模态和逆模态的混合逻辑的终止表。A.Armando、P.Baumgartner和G.Dowek（编辑），《2008年国际JCAR》，LNCS（LNAI）第5195卷（第210–225页）。斯普林格·兹比尔1165.03317
[20] Kaminski，M.和Smolka，G.（2009年）。用于不同模态的混合表格。在C.Areces&S.Demri（编辑），《第五次模式方法研讨会论文集》（M4M5，2007），《理论计算机科学电子笔记》第231卷（第241-257页）。爱思唯尔·Zbl 1347.03044号
[21] Kripke S.A.（1963）模态逻辑的语义分析I：正常模态命题计算。Zeitschrift für Mathematische Logik und Grundlagen der Mathematik，9:67–96·Zbl 0118.01305号 ·doi:10.1002/malq.19630090502
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。