On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics
arXiv:2306.15202
Abstract
We obtain poly-time embeddings of the intuitionistic modal logics FS and MIPC into their positive one-variable fragments.
Semantical and Computational Aspects of Non-Classical Logics (Moscow + Online, June 13-17, 2023), Steklov International Mathematical Center, Moscow, 2023