基于公式大小博弈的一阶逻辑相对于模态逻辑的简洁性
逻辑
2016-04-26 v1 计算机科学中的逻辑
摘要
我们提出了模态逻辑公式大小博弈的一个新版本。该博弈刻画了带点Kripke模型在给定数量的模态算子和二元联结词公式下的等价性。我们的博弈类似于著名的Adler-Immerman博弈。然而，由于博弈位置定义中的关键差异，其获胜条件更简单，且第二名玩家（duplicator）没有平凡的最优策略。因此，与Adler-Immerman博弈不同，我们的博弈是一个真正的两人博弈。我们通过证明双模拟不变一阶逻辑FO与（基本）模态逻辑ML之间存在非初等的简洁性差距，来说明该博弈的用途。
引用
@article{arxiv.1604.07225,
title = {The Succinctness of First-order Logic over Modal Logic via a Formula Size Game},
author = {Lauri Hella and Miikka Vilander},
journal= {arXiv preprint arXiv:1604.07225},
year = {2016}
}