Complexity of finite-variable fragments of propositional modal logics of symmetric frames

Mikhail N. Rybakov, Dmitry Shkatov. Complexity of finite-variable fragments of propositional modal logics of symmetric frames. Logic Journal of the IGPL, 27(1):60-68, 2019. [doi]

Abstract

Abstract is missing.