×
米歇尔·马蒂;托马斯·施图德

常识的证明理论。 （英语） Zbl 1437.03070号

van Ditmarsch，Hans（编辑）等人，Jaakko Hintikka，关于知识和游戏理论语义。献给Jaakko Hintikka。查姆：斯普林格。Outst公司。控制日志。12, 433-455 (2018).
小结：命题a的常识可以用以下不定式连词来表示：每个人都知道a，每个人都认识a，所有人都知道每个人都了解a，以此类推。我们对常识逻辑的演绎系统进行了概述。特别地，我们提出了两种不同的Hilbert式公理化和两个无限无割序列系统。我们进一步讨论了公共知识的句法删减问题。论文最后列出了一些悬而未决的问题。
关于整个系列，请参见[Zbl 1397.03006号].

引用于2文件

MSC公司：

03B42号 知识和信念的逻辑（包括信念变化）
03年3月 一般证明理论（包括证明理论语义）
05年3月 切割消除和正规形定理

关键词：

常识;多智能体系统;证明理论;无限演绎系统;切割消除
PDF格式BibTeX公司 XML格式引用
\textit{M.Marti}和\textit{T.Studer}，Outst。控制日志。12、433--455（2018年；Zbl 1437.03070）
全文： DOI程序

参考文献：

[1] Abate P，GoréR，Widmann F（2007）《公共知识逻辑的无切割单程表》。参加：2007年TABLEAUX关于代理和扣减的研讨会·Zbl 1137.03304号
[2] Alberucci L，Jäger G（2005）《关于常识逻辑的截消》。Ann Pure应用日志133:73-99·Zbl 1067.03062号
[3] Antonakos E（2007）合理和常识：有限的保守性。收录：Artemov SN，Nerode A（编辑）《计算机科学逻辑基础》，LFCS 2007。LNCS，第4514卷。施普林格，第1-11页·Zbl 1132.03319号
[4] Antonakos E（2013）明确的通用常识。摘自：Artemov S，Nerode A（编辑）《计算机科学的逻辑基础》。计算机科学课堂讲稿，第7734卷。施普林格，第16-28页·Zbl 1322.03004号
[5] Antonakos E（2016）将传统和通用常识配对。摘自：Artemov S，Nerode A（编辑）《计算机科学的逻辑基础》。计算机科学讲义，第9537卷。施普林格，第14-26页·Zbl 1476.03011号
[6] Artemov S（2001）显式可证明性和构造语义。公牛符号日志7（1）：1-36·Zbl 0980.03059号
[7] Artemov S（2006）证明了常识。计算机科学理论357（1）：4-22·邮编1094.03005
[8] Aumann R（1976）同意不同意。Ann Stat 4（6）：1236-1239·兹伯利0379.62003
[9] Barwise J（1988）《常识的三种观点》。收录于：瓦尔迪·M（编辑）关于知识推理的理论方面的论文集。Morgan Kaufman，第365-379页·Zbl 0704.03008号
[10] Barwise J（1989）《逻辑中的情况》。在：CSLI课堂讲稿，第17卷·Zbl 0664.03003号
[11] Brünnler K（2006）模态逻辑的深序列系统。收录于：Governatori G，Hodkinson I，Venema Y（eds）Advances In modal logic，vol 6。大学出版物，第107-119页·Zbl 1150.03006号
[12] Brünnler K，Lange M（2008），时序逻辑的无切割序列系统。J Log Algeb程序76:216-225·Zbl 1151.03009号
[13] Brünnler K，Studer T（2009）《公共知识的句法删减》。Ann Pure应用日志160:82-95。https://doi.org/10.1016/j.apal.2009.01.14 ·Zbl 1170.03007号 ·doi:10.1016/j.apal.2009.01.14
[14] Brünnler K，Studer T（2012）《模态mu-calculus片段的句法删减》。Ann Pure Appl日志163（12）：1838-1853·Zbl 1259.03031号
[15] Bucheli S（2012）《常识证明逻辑》。伯尔尼大学博士论文
[16] Bucheli S、Kuznets R、Studer T（2010）《两种获取常识的方法》。摘自：Bolander T，Braüner T（eds）2009年11月12日至14日在丹麦哥本哈根举行的第六届模式方法研讨会（M4M-6 2009）会议记录。理论计算机科学电子笔记。Elsevier，第83-98页。https://doi.org/10.1016/j.entcs.2010.04.007 ·Zbl 1345.03027号 ·doi:10.1016/j.entcs.2010.04.007
[17] Bucheli S、Kuznets R、Studer T（2011）《常识的理由》。应用非分类日志21（1）：35-60。https://doi.org/10.3166/JANCL.21.35-60 ·Zbl 1242.03036号 ·doi:10.3166/JANCL.21.35-60
[18] Buchholz W（1981）《（Omega_{mu+1}）规则》。In：Buchholz W，Feferman S，Pohlers W，Sieg W（eds）迭代归纳定义和分析子系统：最近的证明理论研究。数学讲义，第897卷。施普林格，第189-233页。https://doi.org/10.1007/BFb0091898 ·兹伯利0489.03022 ·doi:10.1007/BFb0091898
[19] Dax C，Hofmann M，Lange M（2006）线性时间微积分的证明系统。在：第26届软件技术和理论计算机科学基础会议论文集，FSTTCS'06。LNCS，第4337卷。施普林格，第274-285页·Zbl 1163.03308号
[20] Fagin R、Halpern JY、Moses Y、Vardi MY（1995）《知识推理》。麻省理工学院出版社·Zbl 0839.68095号
[21] Fontaine G（2008）微积分的连续片段。收录：Kaminski M，Martini S（编辑）计算机科学逻辑。LNCS，第5213卷。施普林格，第139-153页。https://doi.org/10.1007/978-3-540-87531-4-12 ·Zbl 1156.03325号 ·doi:10.1007/978-3-540-87531-4-12
[22] GoréR（2014）和or-tableaux，用于带反转的不动点逻辑：LTL、CTL、PDL和CPDL。摘自：Demri S，Kapur D Weidenbach C（eds）《自动推理：第七届国际联合会议》，2014年国际JCAR。诉讼程序。施普林格，第26-45页。https://doi.org/10.1007/978-3-319-08587-6-3 ·Zbl 1423.68415号 ·doi:10.1007/978-3-319-08587-6-3
[23] Grädel E，Thomas W，Wilke T（eds）（2002）《自动机逻辑与无限游戏：当前研究指南》。斯普林格。国际标准图书编号3-540-00388-6·Zbl 1011.00037号
[24] Gudzhinskas E（1982）von Wrights时序逻辑消元定理的语法证明。数学Logika Primenen 2:113-130·Zbl 0517.03006号
[25] Halpern JY，Moses Y（1990）分布式环境中的知识和常识。美国临床医学杂志37（3）：549-587·Zbl 0699.68115号
[26] Hintikka J（1962年）。知识与信念：这两个概念的逻辑介绍。康奈尔大学出版社
[27] Jäger G，Marti M（2015）直觉主义常识或信念·Zbl 1436.03111号
[28] Jäger G，Studer T（2011）模态不动点逻辑的Buchholz规则。《普遍逻辑学》5:1-19。https://doi.org/10.1007/s11787-010-0022-1 ·Zbl 1278.03044号 ·doi:10.1007/s11787-010-0022-1
[29] Jäger G，Kretz M，Studer T（2007）免费获取公共知识。应用日志5（4）：681-689·Zbl 1144.03009号
[30] Kashima R（1994）为一些时态逻辑割自由序演算。逻辑研究53（1）：119-136·兹伯利0813.03012
[31] Kokkinis I，Studer T（2016）线性时序逻辑的循环证明。在：Probst D，Schuster P（编辑）数学、哲学和计算机科学中的证明概念。Ontos数理逻辑，第6卷。德格鲁伊特·Zbl 1433.03052号
[32] Kretz M，Studer T（2006），常识演绎链。应用日志4:331-357·Zbl 1104.03009号
[33] Kuznets R、Studer T（2012年）《合理性、本体论和保守性》。收录：Bolander T、Braüner T、Ghilardi S、Moss L（eds）AiML 9。大学出版物，第437-458页·Zbl 1301.03021号
[34] Kuznets R，Studer T（2013）《证据更新：信念扩张》。收录：Artemov SN，Nerode A（编辑）计算机科学逻辑基础LFCS 13。LNCS，第7734卷。施普林格，第266-279页·Zbl 1437.03069号
[35] Lange M，Stirling C（2001）《时间逻辑的可满足性和完备性聚焦游戏》。致：LICS会议记录
[36] Leivant D（1981）命题动态逻辑的证明理论方法。摘自：编程概念形式化国际学术讨论会会议记录。LNCS公司。施普林格，第356-373页·Zbl 0467.03015号
[37] 刘易斯·D（1969）公约：一项哲学研究
[38] Martin D（1975）Borel确定性。数学年鉴102:363-371·Zbl 0336.02049号
[39] McCarty J、Sato M、Hayashi T、Igarishi S（1978）《关于知识的模型理论》。技术报告STAN-CS-78-657。斯坦福大学
[40] Meyer J-J，van der Hoek W（1995）人工智能和计算机科学的认识论逻辑。剑桥大学出版社·Zbl 0868.03001号
[41] Mints G，Studer T（2012）用一个变量减少微积分。在：2012年计算机科学的固定点。EPTCS，第77卷。开放出版协会，第47-54页·兹比尔1457.03070
[42] Niwinski D，Walukiewicz I（1996）《微积分游戏》。计算机科学理论163（1&2）：99-116·Zbl 0872.03017号
[43] Paech B（1989）Gentzen-命题时序逻辑系统。收录：Börger E，Büning HK，Richter MM（eds）CSL’88：第二届计算机科学逻辑研讨会，会议记录。施普林格，第240-253页。https://doi.org/10.1007/BFb0026305 ·Zbl 0712.03015号 ·doi:10.1007/BFb0026305
[44] Poggiolesi F，Hill B（2015）《常识：有限微积分与句法删减程序》。逻辑与分析58（230）：136-159·Zbl 1373.03019号
[45] Pohlers W（1989）《证明理论——导论》。施普林格·Zbl 0695.03024号
[46] Pohlers W（1998）集合论和二阶数论的子系统。摘自：Buss S（ed）《证明理论手册》。爱思唯尔，第209-335页·Zbl 0940.03066号
[47] 谢林·T（1960）《冲突战略》·Zbl 1110.91001号
[48] Schiffer S（1972）含义
[49] Schütte K（1977）证明理论。施普林格·Zbl 0367.02012
[50] Streett RS，Emerson EA（1989）命题模态多演算的自动机理论决策程序。Inf计算81:249-264·Zbl 0671.03023号
[51] Studer T（2009）Common knowledge不具有Beth属性。Inf过程Lett 109:611-614·Zbl 1214.03013号
[52] van Benthem J，van Eijck J，Kooi B（2005）更新逻辑中的常识。摘自：第十届理性与知识理论方面会议记录，TARK’05，第253-261页。ISBN编号981-05-3412-4
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。