非 $k$-可着色图的模态逻辑的可判定性
逻辑
2023-08-07 v3 计算机科学中的逻辑
摘要
我们考虑一种双模态语言，其中第一个模态以标准方式由二元关系解释，第二个模态由不等关系解释。根据 Hughes (1990) 的结论，在这种语言中，对于每个有限的 ，图的非 -可着色性都是可表达的。我们证明了非 -可着色图（有向或无向）类及其某些扩展的模态逻辑是可判定的。
引用
@article{arxiv.2303.09934,
title = {Decidability of modal logics of non-$k$-colorable graphs},
author = {Ilya Shapirovsky},
journal= {arXiv preprint arXiv:2303.09934},
year = {2023}
}