模态逻辑的相对简洁性与表达力可以任意复杂
计算机科学中的逻辑
2014-10-23 v1
摘要
我们研究了模态逻辑的相对简洁性与表达力，并证明了这些关系可以像任何可数偏序一样复杂。为此，我们使用两种统一的形式化方法来定义模态算子，并在这两种设定下获得了关于简洁性与表达力的结果。我们的证明基于 Adler 和 Immerman 引入的公式规模博弈以及互模拟。
引用
@article{arxiv.1410.5993,
title = {The Relative Succinctness and Expressiveness of Modal Logics Can Be Arbitrarily Complex},
author = {Henning Schnoor},
journal= {arXiv preprint arXiv:1410.5993},
year = {2014}
}
备注
29 pages