QK4.3 与 QS4.3 的算法性质
逻辑
2023-07-07 v1 计算机科学中的逻辑
摘要
我们证明,谓词模态逻辑 QK4.3 与 QS4.3 在具有两个个体变量、一个模态谓词字母以及一个命题字母的语言中是不可判定的。
引用
@article{arxiv.2307.02800,
title = {Algorithmic properties of QK4.3 and QS4.3},
author = {M. Rybakov and D. Shkatov},
journal= {arXiv preprint arXiv:2307.02800},
year = {2023}
}
备注
Smirnov Readings, 2021, Moscow