直觉主义模态逻辑有限变量片段的算法表达性
逻辑
2023-06-28 v1
摘要
我们得到了直觉主义模态逻辑 FS 与 MIPC 到其正一元片段的多项式时间嵌入。
引用
@article{arxiv.2306.15202,
title = {On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics},
author = {M. Rybakov and D. Shkatov},
journal= {arXiv preprint arXiv:2306.15202},
year = {2023}
}
备注
Semantical and Computational Aspects of Non-Classical Logics (Moscow + Online, June 13-17, 2023), Steklov International Mathematical Center, Moscow, 2023