劳里·T·海拉。;Miikka S.维兰德。 模态逻辑和（mu）-演算的公式大小游戏。 （英语） Zbl 1444.03059号 J.日志。计算。 29，第8期，1311-1344（2019）。 摘要：我们提出了一种新版本的模态逻辑公式大小游戏。该博弈刻画了点Kripke模型与给定数量的模态算子和二元连接词公式的等价性。我们的游戏类似于著名的Adler-Immerman游戏。然而，由于游戏位置定义的关键差异，其获胜条件更简单，并且第二个玩家没有琐碎的最优策略。因此，与Adler-Immerman游戏不同，我们的游戏是真正的两人游戏。我们通过证明互模拟不变量一阶逻辑FO和（基本）模态逻辑ML之间的非初等简洁间隙来说明游戏的使用。我们还为模态演算提供了一个游戏版本{左}_\mu），并表明FO也比\（\text）更简洁｛L｝_\亩）。 引用于三文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 关键词：简洁;公式大小游戏;模态逻辑;模态\（\mu\）-演算;互模拟不变一阶逻辑 PDF格式BibTeX公司 XML格式引用 \textit｛L.T.Hella｝和\textit｛M.S.Vilander｝，J.Log。计算。29，第8号，1311--1344（2019；Zbl 1444.03059） 全文： 内政部 arXiv公司