一系列邻域 contingency 逻辑
逻辑
2018-02-13 v1 计算机科学中的逻辑
摘要
本札记提出了邻域语义下 contingency 逻辑的若干公理化。特别地，通过定义合适的典范邻域函数，我们给出了单调 contingency 逻辑与正则 contingency 逻辑的可靠且完备的公理化，从而回答了 Bakhtiari、van Ditmarsch 和 Hansen 提出的两个开放问题。该典范函数受 Kuhn 于 1995 年提出的一个函数启发。我们证明 Kuhn 的函数实际上等于 Humberstone 最初给出的一个相关函数。
引用
@article{arxiv.1802.03516,
title = {A sequence of neighborhood contingency logics},
author = {Jie Fan},
journal= {arXiv preprint arXiv:1802.03516},
year = {2018}
}
备注
10 pages