- 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, № 2, 2000, 119
- Igor Gorbunov, Dmitry Shkatov, “On Independent Axiomatizability of Quasi-Normal Modal Logics”, Stud Logica, 110, № 5, 2022, 1189
- Michael Zakharyaschev, “Canonical formulas for K4. Part II: Cofinal subframe logics”, J. symb. log., 61, № 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, № 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