Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)

M. Rybakov, M. Shcherbakov

It is known that many modal and superintuitionistic logics are PSPACE-hard in languages with a small number of variables; however, questions about the complexity of similar fragmen…