托马斯·维查克 直觉模态逻辑背景下的拓扑和多拓扑框架。 （英语） Zbl 1446.03044号 牛市。第节。日志。，大学后勤部。 48，第3期，187-205（2019）. 摘要：我们给出了带有一个模态运算符\（\平方\）的直觉主义模态逻辑的三个拓扑语义示例。我们表明，可以将前面介绍的邻域模型视为拓扑或多拓扑。从邻域的角度来看，我们的方法基于最小邻域和最大邻域的性质差异。我们还提出了将多拓扑空间转换为邻域结构的方法。 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03B20型 经典逻辑子系统（包括直觉逻辑） 54A10号 一组上的多个拓扑（拓扑更改、拓扑比较、拓扑格） 关键词：直觉模态逻辑;邻域语义;拓扑语义学;克里普克框架;健全性和完整性 PDF格式BibTeX公司 XML格式引用 \textit{T.Witchzak}，公牛。第节。日志。，大学后勤部。48，第3号，187--205（2019；Zbl 1446.03044） 全文： 内政部 参考文献： [1] M.Boíic，K.Došen，正常直觉模态逻辑模型，《逻辑研究》，第四十三卷（1984年）·Zbl 0634.03014号 [2] Á. Császár，广义拓扑，广义连续性，匈牙利数学学报，第96卷，第4期（2002年），第351-357页·Zbl 1006.54003号 [3] M.J.Collinson，B.P.Hilken，D.E.Rydeheard，直觉模态逻辑拓扑模型的伴随构造。扩展摘要， [4] J.M.Davoren，直觉模态逻辑及其经典伴随逻辑的拓扑语义和互模拟，2007年计算机科学逻辑基础，Springer 2007·Zbl 1132.03336号 [5] J.M.Davoren，V.Coulthard，T.Moor，R.P.Goré，A.Nerode，《直觉模态和时态逻辑及其经典伴随逻辑：拓扑语义和互模拟》，《纯粹逻辑和应用逻辑年鉴》，第161卷（2009年），第349-367页·Zbl 1221.03019号 [6] J.M.Davoren，V.Coulthard，T.Moor，R.P.Goré，A.Nerode，直觉模态逻辑的拓扑语义和A/D映射的空间离散化，[in：]直觉模态逻辑与应用研讨会，丹麦哥本哈根，2002年。 [7] D.de Jongh，F.Sh.Maleki，亚直觉逻辑的两个邻域语义， [8] D.de Jongh，F.Sh.Maleki，弱亚直觉逻辑·Zbl 1405.03029号 [9] M.Moniri，F.S.Maleki，《基本逻辑和直觉主义逻辑的邻域语义》，《逻辑与逻辑哲学》，第23卷（2015年），第339-355页·兹比尔1375.03014 [10] E.Pacuit，模态逻辑邻域语义，Springer International Publishing AG，2017年·Zbl 1390.03001号 [11] V.H.Sotirov，直觉逻辑的模态理论，【in：】数理逻辑，数理逻辑会议论文集，献给A.A.Markov（1903-1979）的记忆，1980年9月22日至23日，第139-171页，索菲亚1984。 [12] T.Speer，《亚历山大空间的简短研究》， [13] T.Witchzak，弱模态逻辑的广义拓扑语义， [14] T.Witchzak， 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。