×
温雪峰;刘、胡;黄，范

知识性的另一种逻辑。 （英语） Zbl 1298.03062号

van Ditmarsch，Hans（编辑）等人，《逻辑、理性与互动》。2011年10月10日至13日，第三次国际研讨会，LORI 2011，中国广州。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24129-1/pbk）。计算机科学课堂讲稿6953。人工智能课堂讲稿，342-355（2011）。
小结：我们给出了一种替代任意公告逻辑的可知性逻辑。在新的语义中，“knowable”意味着“在信息更新后已知”，而不是“在公告后已知”的更具体解释。通过细化可访问性关系对更新进行建模。我们将我们的逻辑与任意公告逻辑和子集空间逻辑进行比较，从而在后两者之间建立联系。
关于整个系列，请参见[Zbl 1223.68013号].

引用于三文件

MSC公司：

03B42号 知识和信念的逻辑（包括信念变化）

关键词：

可知性;任意公告逻辑;动态认知逻辑;子集空间逻辑
PDF格式BibTeX公司 XML格式引用
\textit{X.Wen}等人，Lect。注释计算。科学。6953、342--355（2011年；Zbl 1298.03062）
全文： DOI程序

参考文献：

[1] Balbiani，P.，Baltag，A.，van Ditmarsch，H.，Herzig，A.，Hoshi，T.：我们可以通过任意公告实现什么对惠誉知识的动态解读。收录于：TARK会议记录，第42-51页（2007年）·doi:10.1145/1324249.1324259
[2] Balbiani，P.，Baltag，A.，van Ditmarsch，H.，Herzig，A.，Hoshi，T.，de Lima，T.：“已知”是“在宣布之后”。符号逻辑评论1，305–334（2008）·Zbl 1208.03019号 ·doi:10.1017/S1755020308080210
[3] Baskent，C.：子集空间逻辑主题。阿姆斯特丹大学硕士论文（2007）
[4] van Benthem，J.：人们可能会知道什么。分析64（282），95–105（2004）·Zbl 1073.03004号 ·doi:10.1093/analys/64.2.95
[5] Blackburn，P.，de Rijke，M.，Venema，Y.：模态逻辑。剑桥大学出版社，剑桥（2001）·Zbl 0988.03006号 ·doi:10.1017/CBO9781107050884
[6] 布罗加德：菲奇的可知性悖论。在：Zalta，E.N.（编辑）《斯坦福哲学百科全书》（2009），http://plato.stanford.edu/entries/fitch-paradox网站/
[7] Dabrowski，A.，Moss，L.，Parikh，R.：拓扑推理和知识逻辑。《纯粹逻辑与应用逻辑年鉴》78，73–110（1996）·Zbl 0861.68092号 ·doi:10.1016/0168-0072（95）00016-X
[8] van Ditmarsch，H.，van der Hoek，W.，Kooi，B.：动态认识逻辑。斯普林格，海德堡（2007）·Zbl 1156.03015号 ·doi:10.1007/978-1-4020-5839-4
[9] van Ditmarsch，H.，French，T.：模拟与信息：认识事件的量化。收录人：Meyer，J.J.，Broersen，J.（编辑）KRAMAS 2008。LNCS，第5605卷，第51-65页。斯普林格，海德堡（2009）·Zbl 1258.68150号 ·doi:10.1007/978-3-642-05301-64
[10] Fitch，F.：对一些价值概念的逻辑分析。符号逻辑杂志28（2），135–142（1963）·Zbl 0943.03599号 ·doi:10.2307/2271594
[11] French，T.N.：模态逻辑的互模拟量词。西澳大利亚大学博士论文（2006）·Zbl 1186.03054号
[12] 海尼曼，B.：拓扑和多智能体知识。在：Geffner，H.，Prada，R.，Machado Alexandre，I.，David，N.（编辑）IBERAMIA 2008。LNCS（LNAI），第5290卷，第1-10页。斯普林格，海德堡（2008）·doi:10.1007/978-3-540-88309-8_1
[13] 海涅曼，B.：完善努力的概念。在：ECAI会议记录，第1071–1072页（2010年）
[14] 海涅曼：使用混合逻辑处理子集空间中的函数。《逻辑研究》94（1），23-45（2010）·Zbl 1196.03035号 ·doi:10.1007/s11225-010-9226-x
[15] Meyer，J.J.，van Der Hoek，W.：人工智能和计算机科学的认识逻辑。剑桥大学出版社，剑桥（1995）·Zbl 0868.03001号 ·doi:10.1017/CBO9780511569852
[16] Moss，L.，Parikh，R.：拓扑推理和知识逻辑：初步报告。摘自：《TARK会议录》，第95–105页（1992年）
[17] Moss，L.，Parikh，R.，Steinsvold，C.：拓扑与认识逻辑。摘自：Aiello，M.，Pratt Hartmann，I.，van Benthem，J.（编辑）《空间逻辑手册》。斯普林格，海德堡（2007）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。