蒂齐亚诺·达尔蒙特;尼古拉·奥利维蒂;萨拉·内格里 非正规模态逻辑：双邻域语义及其标记计算。 （英语） Zbl 1418.03075号 Bezhanishvili，Guram（编辑）等人，《模态逻辑的进展》。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物。159-178 (2018). 摘要：考虑了非正规模态逻辑的经典立方体，给出了一种可供选择的邻域语义，其中世界配备了一组邻域对。直觉是，一对的两个邻居为一个公式提供了独立的正反证据（或支持）。这种双邻域语义对于不具有单调性的逻辑尤其重要。结果表明，这种语义表征了非正规模态逻辑的立方体，并且标准语义和双邻域语义中的模型之间存在相互对应关系。在这种替代语义的基础上，为经典立方体的所有逻辑开发了标记序列计算。由此得到的演算是完全模块化的，并且具有良好的结构属性，首先是句法截消。此外，它们还提供了一个决策过程和一个简单的反模型提取，无论是在双边还是在标准语义中。有关整个系列，请参见[Zbl 1398.03005号]. 引用于9文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 关键词：非正规模态逻辑;（bi）-邻域语义;标记的继发性结石 PDF格式BibTeX公司 XML格式引用 \textit{T.Dalmonte}等人，in：模态逻辑的进展。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物。159--178（2018；Zbl 1418.03075）