作者：范杰逻辑van有效式公理化语义证明
摘要：在本文中,通过在标准邻域模型中引入一个简单的模型性质,我们为偶然逻辑提供一个新的邻域语义。这简化了Fan and van Ditmarsch(2015)给出的邻域语义,同时不改变偶然逻辑的有效式。在这一新视角下,我们引入c-互模、单调c-互模、qf-互模等互模拟概念,并证明相应的Hennessy-Milner定理。另外,我们证明c-互模等价于文献中的nbh-Δ-互模,这有助于我们理解后者的本质。这一新视角也给我们提供了各种框架可定义性结果和公理化结果。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
