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

摘要：

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

所属期刊栏目：11

资助基金：This research is supported by the National Social Science Fundation of China Grant 17CZX053

在线出版日期：2019-01-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共19页

页码：37-55