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