含T的积系统的单变量片段的计算复杂性
逻辑
2021-12-08 v1
摘要
我们证明了，将包含自反框架逻辑T作为因子的命题模态逻辑的积，可嵌入到它们的单变量片段中。该证明是即将发表的、关于含自反且对称Kripke框架逻辑KTB作为因子的积与扩张相对化积类似结果证明的简化版本。
引用
@article{arxiv.2112.03833,
title = {Computational complexity of one-variable fragments of products with T},
author = {K. Aleksandrov and M. Rybakov and D. Shkatov},
journal= {arXiv preprint arXiv:2112.03833},
year = {2021}
}
备注
10 pages, in Russian