标量和矢量mu-演算与原子
摘要：原子集合的模态$ mu $ -演算的扩展及其基本属性分析。在轨道有限结构上的模型检查是可判定的，并且与奇偶游戏存在对应关系。另一方面，可满足性变为不可判定。我们还展示了原子丰富的$ mu $ -演算的表达能力限制，并解释了其表达能力如何取决于所使用的原子结构以及基本或矢量语法的选择。
作者：Bartek Klin and Mateusz {L}e{l}yk
论文ID：1803.06752
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22