On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics
Logic
2023-06-28 v1
Abstract
We obtain poly-time embeddings of the intuitionistic modal logics FS and MIPC into their positive one-variable fragments.
Keywords
Cite
@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}
}
Comments
Semantical and Computational Aspects of Non-Classical Logics (Moscow + Online, June 13-17, 2023), Steklov International Mathematical Center, Moscow, 2023