罗马库兹涅茨;托马斯·施图德 更新为证据：信念扩展。 （英语） Zbl 1437.03069号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7734, 266-279 (2013). 摘要：我们引入了一种证明逻辑，该逻辑为证据项提供了一种新的构造器，根据该构造器新的信息本身作为相信它的证据。我们为信念扩展和最小变化提供了一个完善的公理化，并解释了如何根据推理强度对最小性进行分级。我们还提供了拉姆齐公理的证据类比。关于整个系列，请参见[Zbl 1322.03004号]. 引用于7文件 MSC公司： 03B42号 知识和信念的逻辑（包括信念变化） PDF格式BibTeX公司 XML格式引用 \textit{R.Kuznets}和\textit{T.Studer}，莱克特。注释计算。科学。7734626-279（2013年；兹bl 1437.03069） 全文： 内政部 参考文献： 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。