×
罗尔夫·诺瑟姆

上下文的可判定多模态逻辑。 （英语） Zbl 1032.03011号

J.应用。日志。 1，编号1-2，119-133（2003）；更正同上，4115（2006）。
小结：我们给出了公式\（\phi\multimap\psi\）的逻辑，其非正式读数为“在由\（\pi\）描述的上下文中，\（\psi\\）为真”。通过对一组可枚举的一元模式（c\multimap\psi\）进行量化，这些模式被解释为二进制模式，表示“在上下文中（c\）为真”。该逻辑允许任意嵌套上下文。
给出了相应的公理表示，并证明其是可判定的、合理的和完整的。
以前，上下文的量化逻辑限制了上下文的嵌套，并且只有在非常特殊的情况下才能确定。

MSC公司：

03B45 模态逻辑（包括规范逻辑）
03B25号 理论和句子集的可决定性

关键词：

语境的形式化;多模逻辑;可判定性

软件：

周期
PDF格式BibTeX公司 XML格式引用
\textit{R.Nossum}，J.应用。日志。1、编号1--2、119--133（2003；Zbl 1032.03011）
全文： 内政部

参考文献：

[1] van Benthem，J.，《改变语境和转移断言》（Aliseda-Llera，A.；van Glabbeek，R.；Westerstáhl，D.，《第四届CSLI逻辑、语言和计算研讨会论文集》（1996），CSLI出版物）·兹比尔0959.03018
[2] Buvać，S.，《上下文的量化逻辑》（AAAI-96会议录，俄勒冈州波特兰（1996））
[3] 布瓦奇，S。；布瓦奇，V。；梅森，I.A.，《情境的元数学》，《信息基础》，第23、3页（1995年）·兹伯利0844.03014
[4] Chellas，B.F.，《模态逻辑：导论》（1980），剑桥大学出版社：剑桥大学出版社·Zbl 0431.03009号
[5] 加巴伊，D。；Nossum，R.，《具有虚构语义的结构化上下文》（Bonzon，P.；Cavalcanti，M.；Nossum（R.），《上下文的形式方面》，《应用逻辑系列》（2000），Kluwer:Kluwer-Dordrecht）·Zbl 0963.03051号
[6] Giunchiglia，F.，《情境推理》，《认识论》（I Linguaggi e le Macchine特刊），16，345-364（1993），IRST技术报告9211-20，意大利特伦托IRST
[7] R.V.Guha，《上下文：形式化和一些应用》，斯坦福大学博士论文，1991年；R.V.Guha，《上下文：形式化和一些应用》，斯坦福大学博士论文，1991年
[8] Henkin，L.，《一阶函数演算的完备性》，《符号逻辑》，第14期，第159-166页（1949年）·Zbl 0034.00602号
[9] 休斯，G.E。；Cresswell，M.J.，《模态逻辑新导论》（1996），劳特利奇出版社·Zbl 0855.0302号
[10] Kempson，R。；梅耶·维奥（Meyer-Viol，W.）。；Gabbay，D.，《动态语法：语言理解的流动》（2001），布莱克威尔：布莱克威尔牛津出版社
[11] 刘易斯（Lewis，D.K.），《反事实》（1973），巴兹尔·布莱克威尔（Basil Blackwell:Basil Brackwell Oxford）
[12] McCarthy，J.，《关于正式化语境的注释》，（Wahlster，W.，《IJCAI-93会议记录》，法国尚贝里（1993））·Zbl 0953.03517号
[13] J.McCarthy，S.Buvać，形式化语境（扩展注释），技术注释STAN-CS-TN-94-13，斯坦福大学，1994年；J.McCarthy，S.Buvać，形式化语境（扩展注释），技术注释STAN-CS-TN-94-13，斯坦福大学，1994年
[14] Nossum，R.，背景半群的命题逻辑，logic J.IGPL，10，3，273-297（2002）·Zbl 1003.68154号
[15] Nossum，R。；塞拉菲尼，L.，《上下文半群的多上下文逻辑》（Calmet，J.；Benhamou，B.；Caprotti，O.；Henoque，L.；Sorge，V.，《人工智能、自动推理和符号计算》，人工智能讲义，2385（2002），斯普林格·弗拉格：柏林斯普林格尔·弗拉格），90-101·Zbl 1072.68584号
[16] 里德，S。；Lenat，D.，将本体映射到Cyc。，技术代表在线，Cycorp Inc.，2002年
[17] 塞拉菲尼，L。；Giunchiglia，F.，ML系统：语境的证明理论，J.逻辑语言信息。(2001)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。