TY  - RPRT
TI  - Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)
AU  - M. Rybakov
AU  - M. Shcherbakov
PY  - 2025
UR  - https://arxiv.org/abs/2507.12343
ID  - 2507.12343
ER  -