关于简单对称模态逻辑的统一类型
计算机科学中的逻辑
2019-02-12 v1
摘要
正规模态逻辑中的统一问题是确定对于给定的公式 F，是否存在一个替换 s 使得 s(F) 属于该逻辑。在这种情况下，s 是 F 的一个统一子。我们称一个可统一公式 F 的统一子集合是完备的，如果对于 F 的所有统一子 s，该集合中存在 F 的一个统一子 t 使得 t 比 s 更一般。当一个可统一公式没有最小完备统一子集合时，该公式是空型的。在本文中，我们证明 KB、KDB 和 KTB 具有空型公式。
引用
@article{arxiv.1902.03770,
title = {About the unification type of simple symmetric modal logics},
author = {Philippe Balbiani and Çiğdem Gencer},
journal= {arXiv preprint arXiv:1902.03770},
year = {2019}
}