邻域偶然性逻辑：一种新视角
逻辑
2018-02-08 v1 计算机科学中的逻辑
摘要
在本文中，我们通过对标准邻域模型引入一个简单性质，提出了偶然性逻辑的一种新邻域语义。这简化了 (Fan and van Ditmarsch, 2015) 中给出的邻域语义，但并未改变有效公式的集合。在此视角下，在各类互模拟概念及相应的 Hennessy-Milner 定理中，我们证明了文献中的 -互模拟等价于 nbh--互模拟，这有助于我们理解后一概念的本质。该视角还提供了若干框架可定义性与公理化结果。
引用
@article{arxiv.1802.02291,
title = {Neighborhood Contingency Logic: A New Perspective},
author = {Jie Fan},
journal= {arXiv preprint arXiv:1802.02291},
year = {2018}
}
备注
17 pages