亚历山大·巴尔塔格;尼克·贝扎尼什维利;Özgün，艾比克;斯梅茨，索尼娅 完全信念的拓扑方法。 （英语） Zbl 1457.03030号 J.菲洛斯。日志。 48，第2期，205-244（2019）. 总结：R.Stalnaker先生[《论知识和信仰的逻辑》，Philos Stud.128169-199（2006；doi:10.1007/s11098-005-4062-y)]介绍了一种组合的认知-演绎逻辑，它可以形式化地表达一个强大的信念概念，一个作为主观确定性的信念概念。在本文中，我们提供了信念的拓扑语义，特别是Stalnaker的信念概念，定义为“知识的认知可能性”，根据内部算子的闭包在极不连通空间上。该语义扩展了知识的标准拓扑解释（作为内部操作符），为信念提供了一种新的拓扑语义。我们证明了信念逻辑KD45系列对于一类极不连通空间来说是合理且完备的，并且我们将我们的方法与不同的拓扑设置进行了比较，其中信念是根据导出集算子来解释的。我们还通过分别为条件信念和信念更新模式提供拓扑语义来研究（静态）信念修正和信念动态。然而，我们基于极不连接空间的设置在使用动态更新进行扩展时会遇到问题。然后，我们提出了一个解决方案，包括以类似的方式解释信仰，基于遗传极不连通空间并公理化了遗传极不连通空间的信念逻辑。最后，我们给出了条件信念和知识逻辑的完全公理化，以及相应的动态逻辑的完全公理化。 引用于8文件 MSC公司： 03B42号 知识和信念的逻辑（包括信念变化） 54G05号 极端不连通的空间，\（F\）-空间等。 54A35型 一致性和独立性导致一般拓扑 关键词：认知逻辑;多道逻辑;拓扑语义学;（遗传）极不连通空间;有条件的信念;更新;完整性;公理化 PDF格式BibTeX公司 XML格式引用 \textit｛A.Baltag｝等人，J.Philos。日志。48，第2号，205--244（2019；Zbl 1457.03030） 全文： 内政部 OA许可证 参考文献： [1] Abramsky，S.（1991）。逻辑形式的领域理论。《纯粹逻辑与应用逻辑年鉴》，51（1），1-77·Zbl 0737.03006号 ·doi:10.1016/0168-0072（91）90065-T [2] Aiello，M.、Pratt-Hartmann，I.、van Benthem，J.（2007）。空间逻辑手册。德国：斯普林格·弗拉格·Zbl 1172.03001号 ·doi:10.1007/978-1-4020-5587-4 [3] Alchourrón，C.E.，Gärdenfors，P.，Makinson，D.（1985）。论理论变革的逻辑：部分满足收缩和修正功能。符号逻辑杂志，50（2），510-530·Zbl 0578.03011号 ·doi:10.2307/2274239 [4] Baltag，A.、Bezhanishvili，N.、ØzgüN，A.、Smets，S.（2013）。信念的拓扑结构、信念修正和可废止知识。逻辑、理性与互动——第四届国际研讨会，LORI 2013，中国杭州，2013年10月9日至12日，会议记录（第27-40页）·Zbl 1407.03017号 [5] Baltag，A.、Bezhanishvili，N.、ØzgüN，A.、Smets，S.（2014）。完全信念和弱信念的拓扑结构。在第11届第比利斯逻辑、语言和计算国际研讨会（TbiLLC 2015）的会议记录中，修订了部分论文（第205-228页）·Zbl 1428.03046号 [6] Baltag，A.、Bezhanishvili，N.、Ȯzgu，A.和Smets，S.（2016）。合理的信念和证据的拓扑结构。《第23届逻辑、语言、信息和计算研讨会论文集》（WOLLIC 2016）（第83-103页）·Zbl 1478.03022号 [7] Baltag，A.和Smets，S.（2006年）。条件多角主义模型：一种动态信念修正的定性方法。理论计算机科学电子笔记，165，5-21。第十三届逻辑、语言、信息和计算研讨会论文集（WoLLIC 2006）·Zbl 1262.03026号 ·doi:10.1016/j.entcs.2006.05.034 [8] Baltag，A.和Smets，S.（2008年）。动态交互信念修正的定性理论。逻辑与游戏课文，3，9-58·Zbl 1261.03077号 [9] Barwise，J.（1988）。常识的三种观点。在关于knowedge推理的理论方面的第二次会议论文集（第365-379页）·Zbl 0704.03008号 [10] Baskent，C.（2007）。子集空间逻辑中的主题。阿姆斯特丹大学ILLC硕士论文。 [11] Baskent，C.（2011）。几何公告逻辑。在Murray，R.C.&McCarthy，P.M.（编辑），第24届佛罗里达人工智能研究学会会议的前奏（FLAIRS-24）（第87-88页）。 [12] Battigalli，P.和Siniscalchi，M.（2002）。坚定的信念和正向归纳推理。经济理论杂志，105，356-391·兹比尔1038.91013 ·doi:10.1006/jeth.2001.2942 [13] Beklemishev，L.和Gabelaia，D.（2014）。可证明逻辑的拓扑解释（第257-290页）。荷兰：斯普林格·Zbl 1352.03070号 [14] Bezhanishvili，G.、Bezhanisvili，N.、Lucero-Bryan，J.、van Mill，J.（2015）。S4.3和遗传极不连通空间。格鲁吉亚数学期刊，22469-475·Zbl 1330.03040号 [15] Bezhanishvili，G.，Esakia，L.，Gabelaia，D.（2005）。关于拓扑空间的模态公理化和可定义性的一些结果。《逻辑研究》，81（3），325-355·Zbl 1096.03016号 ·doi:10.1007/s11225-005-4648-6 [16] Bezhanishvili，G.，Esakia，L.，Gabelaia，D.（2011年）。d-语义中的谱空间和T0-空间。逻辑、语言和计算——第八届第比利斯逻辑、语言与计算国际研讨会，LNAI。修订了部分论文（第6618卷，第16-29页）·Zbl 1341.03026号 [17] Bezhanishvili，N.和van der Hoek，W.（2014）。认知逻辑的结构。在Baltag，A.和Smets，S.（编辑）Johan van Benthem的《逻辑和信息动力学》（第339-380页）Springer International Publishing·Zbl 1354.03012号 [18] Bjorndahl，A.，&Øzgün，A.（2017年）。知识、知识性和信念的逻辑和拓扑。《第16届理性与知识理论方面会议论文集》（TARK 2017），《理论计算机科学电子论文集》第251卷（第88-101页）·兹比尔1484.03023 [19] Blackburn，P.，de Rijke，M.，Venema，Y.（2001）。模态逻辑，《剑桥理论计算机科学》第53卷。剑桥：剑桥大学出版社·Zbl 0988.03006号 [20] Blaszczyk，A.，Rajagopalan，M.，Szymanski，A.（1993年）。遗传上极不连通的空间。Ramanujan数学社会杂志，8（1-2），81-94·Zbl 0845.54027号 [21] Boutiler，C.（1990年）。作为模态系统的正规性条件逻辑。在Shrobe，H.E.，Dietterich，T.G.&Swartout，W.R.（编辑），AAAI（第594-599页）。 [22] Chagrov，A.V.和Zakharyaschev，M.（1997）。模态逻辑，牛津逻辑指南第35卷。牛津大学出版社·Zbl 0871.03007号 [23] Dabrowski，A.，Moss，L.S.，Parikh，R.（1996）。拓扑推理和知识逻辑。《纯粹逻辑与应用逻辑年鉴》，78（1），73-110·Zbl 0861.68092号 ·doi:10.1016/0168-0072（95）00016-X [24] DeRose，K.（2009）。语境主义的案例。第1版。纽约：牛津大学出版社。 [25] Dugundji，J.（1965）。高等数学中的拓扑学、Allyn和Bacon系列。普伦蒂斯·霍尔。 [26] Engelking，R.（1989）。一般拓扑，第二版。第6卷。柏林：赫尔德曼·弗拉格·兹比尔0684.54001 [27] Esakia，L.（2001）。弱传递性-恢复。逻辑研究，8244-254。俄语·Zbl 1031.03032号 [28] Esakia，L.（2004）。直觉主义逻辑和形态通过拓扑。《纯粹逻辑与应用逻辑年鉴》，127（1），155-170·Zbl 1049.03018号 ·doi:10.1016/j.apal.2003.11.013 [29] Gabelaia，D.（2001年）。拓扑中的模态可定义性。阿姆斯特丹大学ILLC硕士论文。 [30] Georgatos，K.（1993年）。拓扑空间的模态逻辑。博士论文，纽约市立大学。 [31] Georgatos，K.（1994年）。拓扑空间的知识论性质。《不确定性下的知识表示和推理程序：工作中的逻辑》（第147-159页）。 [32] Gettier，E.（1963年）。正当的真信仰是知识吗？分析，23，121-123·doi:10.1093/analys/23.6.121 [33] Ichikawa，J.J.和Steup，M.（2013）。知识分析。在扎尔塔，E.N.（编辑）斯坦福大学哲学百科全书。斯坦福大学形而上学研究实验室，2013年秋季版。 [34] Kelly，K.（1996）。可靠查询的逻辑。牛津大学出版社·Zbl 0910.03023号 [35] Klein，P.（1971）。命题知识的拟议定义。《哲学杂志》，68，471-482·doi:10.2307/2024845 [36] Kraus，S.、Lehmann，D.、Magidor，M.（1990年）。非单调推理、优先模型和累积逻辑。人工智能，44（1-2），167-207·Zbl 0782.03012号 ·doi:10.1016/0004-3702（90）90101-5 [37] Kudinov，A.和Shehtman，V.（2014）。带有差异模态的派生模态逻辑（第291-334页）。荷兰：斯普林格·Zbl 1352.03031号 [38] Lamarre，P.和Shoham，Y.（1994年）。知识、确定性、信念和条件性（缩写）。在Doyle，J.、Sandewall，E.、Torasso，P.（编辑）《知识表示和推理原理》（第415-424页）中。《表现与推理中的摩根-考夫曼系列》。摩根·考夫曼。 [39] Lehrer，K.和Paxson，T.J.（1969年）。知识：不败证明了真正的信念。《哲学杂志》，66，225-237·doi:10.307/2024435 [40] Lenzen，W.（1978年）。认知逻辑最新研究第30卷。北荷兰：《芬尼察哲学学报》·Zbl 0397.0302号 [41] 麦肯锡，J.C.C.（1941）。路易斯系统S2和S4的决策问题的解决方案，以及拓扑应用。符号逻辑杂志，6（4），117-134·Zbl 0063.03863号 ·doi:10.2307/2267105 [42] 麦肯锡，J.C.C.和塔斯基，A.（1944年）。拓扑的代数。数学年鉴（2），45141-191·Zbl 0060.06206号 ·doi:10.2307/1969080 [43] Moss，L.S.和Parikh，R.（1992年）。拓扑推理和知识逻辑。《计算机科学理论方面第四届会议论文集》（TARK 1992）（第95-105页）。摩根·考夫曼。 [44] Noiri，T.（1988）。极不连通空间的特征。印度纯粹与应用数学杂志，19325-329·Zbl 0664.54021号 [45] Nozick，R.（1981）。剑桥大学哲学解释。MA：哈佛大学出版社。 [46] 奥兹根，A.（2013）。信念和信念修正的拓扑模型。阿姆斯特丹大学ILLC硕士论文。 [47] Ȯzgu n，A.（2017）。认知逻辑中的证据：拓扑观点。洛林大学LORIA和阿姆斯特丹大学ILLC博士论文。 [48] Parikh，R.、Moss，L.S.、Steinsvold，C.（2007年）。拓扑和认知逻辑。《空间逻辑手册》（第299-341页）。斯普林格·弗拉格。 [49] Rott，H.（2004）。稳定性、力量和敏感性：将信念转化为知识。埃尔肯特尼斯，61（2-3），469-493·Zbl 1062.03506号 ·doi:10.1007/s10670-004-9287-1 [50] Sikorski，R.（1964年）。布尔代数。柏林-海德堡-纽约：Springer-Verlag·兹比尔0191.31505 [51] Sosa，E.（1999）。如何击败摩尔的反对派。编号：33、141-153。 [52] Stalnaker，R.（1968年）。条件句理论。《逻辑理论研究》（第2卷，第98-112页）。牛津：布莱克威尔。 [53] Stalnaker，R.（2006）。关于知识和信仰的逻辑。哲学研究，128（1），169-199·doi:10.1007/s11098-005-4062-y [54] Steinsvold，C.（2007）。信念逻辑的拓扑模型。纽约城市大学博士论文·Zbl 1140.03007号 [55] Tarski，A.（1938）。Der Aussagenkalkül und die拓扑。数学基础，31，103-134·Zbl 0020.33704号 ·doi:10.4064/fm-31-1-103-134 [56] Troelstra，A.S.和van Dalen，D.（1988）。数学中的建构主义：导论。，逻辑和数学基础研究的第一卷和第二卷。阿姆斯特丹·Zbl 0661.03047号 [57] 曹晨（1938）。严格蕴涵路易斯演算的代数假设和几何解释。美国数学学会公报，44（10），737-744·Zbl 0019.38504号 ·doi:10.1090/S0002-9904-1938-06860-7 [58] van Benthem，J.（2004）。信念修正的动态逻辑。《应用非经典逻辑杂志》，2004年第14期。 [59] van Benthem，J.（2011）。信息和交互的逻辑动态。纽约：剑桥大学出版社·兹比尔1251.03003 ·doi:10.1017/CBO9780511974533 [60] van Benthem，J.和Bezhanishvili，G.（2007）。空间的模态逻辑。《空间逻辑手册》（第217-298页）。斯普林格。 [61] van Benthem，J.，Bezhanishvilli，G.，ten Cate，B.，Sarenac，D.（2005）。拓扑产品的模态逻辑。《逻辑研究》，84（3），369-392·Zbl 1113.03018号 ·doi:10.1007/s11225-006-9013-x [62] van Benthem，J.和Pacuit，E.（2011年）。循证信念的动态逻辑。《逻辑研究》，99（1），61-92·Zbl 1241.03013号 ·doi:10.1007/s11225-011-9347-x [63] van Benthem，J.和Sarenac，D.（2005）。知识的几何学。通用逻辑方面，17·Zbl 1087.03011号 [64] van Ditmarsch，H.、van der Hoek，W.、Kooi，B.（2007）。动态认知逻辑，第1版。斯普林格出版公司·Zbl 1156.03015号 [65] van Fraassen，B.（1995）。细粒度的观点、概率和完全信念的逻辑。《哲学逻辑杂志》，24349-377·Zbl 0825.03015号 ·doi:10.1007/BF01048352 [66] Vickers，S.（1989）。《逻辑拓扑学》，剑桥理论计算机科学丛书第5卷。剑桥：剑桥大学出版社·Zbl 0668.54001号 [67] Voorbraak，F.（1993）。据我所知。乌得勒支大学博士论文。 [68] Wang，Y.，&Cao，Q.（2013）。论公告逻辑的公理化。合成，190，103-134·Zbl 1310.03029号 ·doi:10.1007/s11229-012-0233-5 [69] Williamson，T.（2000年）。知识及其局限性。牛津大学出版社。 [70] Wolter，F.（1993年）。模态逻辑的格。柏林自由大学博士论文。 [71] Zvesper，J.（2010）。玩弄信息。阿姆斯特丹大学ILLC博士论文。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。