Complexity function and complexity of validity of modal and superintuitionistic propositional logics. - Rybakov, Mikhail; Shkatov, Dmitry (Journal of Logic & Computation, 2023)