邻域偶然逻辑:一个新的视角

摘要

在本文中,通过在标准邻域模型中引入一个简单的模型性质,我们为偶然逻辑提供一个新的邻域语义.这简化了Fan and van Ditmarsch(2015)给出的邻域语义,同时不改变偶然逻辑的有效式.在这一新视角下,我们引入c-互模、单调c-互模、qf-互模等互模拟概念,并证明相应的Hennessy-Milner定理.另外,我们证明c-互模等价于文献中的nbh-?-互模,这有助于我们理解后者的本质.这一新视角也给我们提供了各种框架可定义性结果和公理化结果.