A decidable modal logic that is finitely undecidable. - Igor Gorbunov (Advances in Modal Logic, 2006)

On Independent Axiomatizability of Quasi-Normal Modal Logics. - Igor Gorbunov; Dmitry Shkatov (Stud Logica, 2022)

Extensions of Solovay's system S without independent sets of axioms. - Igor Gorbunov; Dmitry Shkatov (Ann. Pure Appl. Log., 2024)