加载中…
2023-06-27
On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics
M. RybakovD. Shkatov
文献摘要
We obtain poly-time embeddings of the intuitionistic modal logics FS and MIPC into their positive one-variable fragments.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本