×
梅赫努什·萨德扎德;罗伊·戴克霍夫

伴随形式的正逻辑：证明理论、语义和信息推理。 （英语） Zbl 1337.03031号

Abramsky，Samson（编辑）等人，第25届编程语义数学基础会议论文集（MFPS 2009），英国牛津，2009年4月3日至7日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记249，451-470（2009）。
摘要：我们考虑一个简单的模态逻辑，它的非模态部分具有连接词和析取，其模态是伴随对，但不是一般的闭包算子。尽管没有否定和隐含，也没有与（例如）T、S4和S5的特征公理相对应的公理，但如Baltag、Coecke和第一作者以前的工作所示，这些逻辑对于编码和推理多智能体系统中的信息和错误信息是有用的。对于这样的逻辑，我们提出了一种代数语义，使用带有代理索引的伴随算子对族的格和无割序列演算。微积分以“嵌套”或“树序列”计算的形式在序列上使用运算符；cut-admissibility通过构造语法方法来表示。逻辑的适用性通过对泥泞儿童谜题的推理来说明，对于该谜题，微积分增加了额外的规则，以表达泥泞孩子场景的事实。
关于整个系列，请参见[Zbl 1281.68012号].

引用于5文件

MSC公司：

03B45号 模态逻辑（包括规范逻辑）
03B42号 知识和信念的逻辑（包括信念变化）
03G10年 格和相关结构的逻辑方面
05年3月 切割消除和正规形定理
68T27型 人工智能中的逻辑
68T42型 Agent技术与人工智能

关键词：

正模态逻辑;认知逻辑;多道逻辑;分配格;Galois连接;附加;信息;信仰;证明理论

软件：

Aximo公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Sadrzadeh}和\textit{R.Dyckhoff}，电子。注释Theor。计算。科学。249451-470（2009年；Zbl 1337.03031）
全文： 内政部

参考文献：

[1] Baltag，A。；科克，B。；Sadrzadeh，M.，《认识活动作为资源》，《逻辑与计算杂志》，17，3，555-585（2007）·Zbl 1183.03010号
[2] Baltag，A。；Moss，L.S.，《认知程序的逻辑》，Synthese，139，165-224（2004）·Zbl 1100.03010号
[3] 布莱克本，P。；de Rijke先生。；Venema，Y.，模态逻辑（2001），剑桥大学出版社：剑桥大学出版社·Zbl 0988.03006号
[4] 贝尔纳普，N.，《显示逻辑》，《哲学逻辑杂志》，第11期，第375-417页（1982年）·兹比尔0509.03008
[5] 博内特，N。；Goré，R.，《时态逻辑的标记序列系统（K_t）》，（澳大利亚人工智能联合会议，澳大利亚人工智能联席会议，计算机科学讲稿，1502（1998）），71-82·兹比尔0928.003005
[6] Brünnler，K.，《模态逻辑的深序列系统》，模态逻辑进展，6107-119（2006）·Zbl 1150.03006号
[7] 塞拉尼，S。；Jansana，R.，Priestley对偶，正模态逻辑的Sahlqvist定理和Goldblatt-Thomason定理，IGPL逻辑杂志，7683-715（1999）·Zbl 0948.03013号
[8] Davey，B.A。；Priestley，H.A.，《格与秩序导论》（1990），剑桥大学出版社：剑桥大学出版社·Zbl 0701.06001号
[9] Dunn，M.，正模态逻辑，Studia Logica，55，301-317（2005）·Zbl 0831.03007号
[10] Gehrke，M。；Nagahashi，H。；Venema，Y.，分配模态逻辑的Sahlqvist定理，《纯粹逻辑与应用逻辑年鉴》，131，65-102（2005）·邮编1077.03009
[11] Goré，R.，《显示器上的亚结构逻辑》，《IGPL逻辑杂志》，第6期，第451-504页（1998年）·Zbl 0906.03020号
[12] 胡特，M。；Ryan，M.，《计算机科学中的逻辑》（2000），剑桥大学出版社：剑桥大学出版社·Zbl 0955.68001号
[13] von Karger，B.，时间代数，计算机科学中的数学结构，8277-320（1998）·Zbl 0917.03011号
[14] 鹿岛，R.，一些时态逻辑的无切割序贯演算，逻辑研究，53，119-135（1994）·Zbl 0813.03012号
[15] Kriener，J.、M.Sadrzadeh和R.Dyckhoff，带伴随模态逻辑的无割序列演算的实现; Kriener，J.、M.Sadrzadeh和R.Dyckhoff，带伴随模态逻辑的无割序列演算的实现
[16] Moortgat，M.，多模态语言推理，布尔。IGPL，3，371-401（1995）·Zbl 0840.03022号
[17] Negri，S.，《模态逻辑中的证明分析》，《哲学逻辑杂志》，34507-544（2005）·Zbl 1086.03045号
[18] 小野，H。；小森，Y.，《没有收缩规则的逻辑学》，《符号逻辑杂志》，第50期，第169-201页（1985年）·Zbl 0583.03018号
[19] 普赖尔，A.，《时间与时态》（1968），牛津大学出版社
[20] 理查兹、S.和M.萨达德，Aximo公司：信息更新的自动公理推理理论计算机科学电子笔记; 理查兹、S.和M.萨达德，Aximo公司：信息更新的自动公理推理理论计算机科学电子笔记
[21] 萨德扎德，M。，奥克姆剃刀与信息流推理、综合DOI:10.1007/s11229-008-9414-7；萨德扎德，M。，奥克姆剃刀与信息流推理、综合内政部：10.1007/s11229-008-9414-7·Zbl 1178.03080号
[22] 萨达德，M。；Dyckhoff，R.，《带伴随模态的正逻辑：关于信息的证明理论、语义和推理》，[完整版]·Zbl 1337.03031号
[23] Sadrzadeh，M.，“认识逻辑中的行动和资源”，魁北克大学博士论文，2006年。http://eprints.ecs.soton.ac.uk/12823/01/all.pdf; Sadrzadeh，M.，“认识逻辑中的行动和资源”，魁北克大学博士论文，2006年。http://eprints.ecs.soton.ac.uk/12823/01/all.pdf
[24] 辛普森，A.，“直觉模态逻辑的证明理论和语义”，爱丁堡大学博士论文，1993年；辛普森，A.，“直觉模态逻辑的证明理论和语义”，爱丁堡大学博士论文，1993年
[25] Troelstra，A。；Schwichtenberg，H.，《基本证明理论》（2001），CUP·Zbl 0957.03053号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。