- Alex Citkin, 24, V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics, 2022, 125

- V. V. Rybakov, V. R. Kiyatkin, M. Terziler, “Independent bases for admissible rules in pretable logics”, Algebr Logic, 39, no. 2, 2000, 119

- Igor Gorbunov, Dmitry Shkatov, “On Independent Axiomatizability of Quasi-Normal Modal Logics”, Stud Logica, 110, no. 5, 2022, 1189

- Michael Zakharyaschev, “Canonical formulas for K4. Part II: Cofinal subframe logics”, J. symb. log., 61, no. 2, 1996, 421

- Michael Zakharyaschev, 7, Advances in Intensional Logic, 1997, 195

- Igor Gorbunov, Dmitry Shkatov, “Extensions of Solovay's system S without independent sets of axioms”, Annals of Pure and Applied Logic, 175, no. 1, 2024, 103360

- Marcus Kracht, 3, Handbook of Modal Logic, 2007, 491

- M. Zakharyaschev, F. Wolter, A. Chagrov, Handbook of Philosophical Logic, 2001, 83

- Vladimir A. Uspensky, Logic and Scientific Methods, 1997, 457

- V. V. Rybakov, M. Terziler, V. V. Rimatskii, “Describing a Basis in Semireduced Form for Inference Rules of Intuitionistic Logic”, Algebra and Logic, 39, no. 6, 2000, 412
