Sergei Artemov, 3, Handbook of Modal Logic, 2007, 927
V. Yu. Shavrukov, “Undecidability in diagonalizable algebras”, J. symb. log., 62, № 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, № 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, № 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, № 4, 2005, 347