- Sergei Artemov, 3, Handbook of Modal Logic, 2007, 927
- V. Yu. Shavrukov, “Undecidability in diagonalizable algebras”, J. symb. log., 62, no. 1, 1997, 79
- M. Zakharyaschev, F. Wolter, A. Chagrov, Handbook of Philosophical Logic, 2001, 83
- Sergei Artemov, 5, Mathematical Problems from Applied Logic II, 2007, 1
- Lev D. Beklemishev, “Bimodal logics for extensions of arithmetical theories”, J. symb. log., 61, no. 1, 1996, 91
- Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189
- Giorgi Japaridze, Dick de Jongh, 137, Handbook of Proof Theory, 1998, 475
- Lev Beklemishev, “Iterated local reflection versus iterated consistency”, Annals of Pure and Applied Logic, 75, no. 1-2, 1995, 25
- Lev Beklemishev, Albert Visser, 4, Mathematical Problems from Applied Logic I, 2006, 77
- Karl-Georg Niebergall, Matthias Schirn, “Hilbert's Programme and Gödel's Theorems”, Dialectica, 56, no. 4, 2005, 347