On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics
Abstract
We obtain poly-time embeddings of the intuitionistic modal logics FS and MIPC into their positive one-variable fragments.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2023
- DOI:
- arXiv:
- arXiv:2306.15202
- Bibcode:
- 2023arXiv230615202R
- Keywords:
-
- Mathematics - Logic
- E-Print:
- Semantical and Computational Aspects of Non-Classical Logics (Moscow + Online, June 13-17, 2023), Steklov International Mathematical Center, Moscow, 2023