TY  - RPRT
TI  - On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics
AU  - M. Rybakov
AU  - D. Shkatov
PY  - 2023
UR  - https://arxiv.org/abs/2306.15202
ID  - 2306.15202
ER  -