- F N Pakhomov, “Linear $ \mathrm{GLP}$-algebras and their elementary theories”, Izv. Math., 80, № 6, 2016, 1159
- Fedor Nikolaevich Pakhomov, “Линейные $\mathrm{GLP}$-алгебры и их элементарные теории”, Известия Российской академии наук. Серия математическая, 80, № 6, 2016, 173
- Лев Дмитриевич Беклемишев, Lev Dmitrievich Beklemishev, “Схемы рефлексии и алгебры доказуемости в формальной арифметике”, УМН, 60, № 2, 2005, 3
- Sergei Artemov, 3, Handbook of Modal Logic, 2007, 927
- Antti Kuusisto, “Second-order propositional modal logic and monadic alternation hierarchies”, Annals of Pure and Applied Logic, 166, № 1, 2015, 1
- Bartosz Bednarczyk, Stephane Demri, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, 1
- Sergei Artemov, 5, Mathematical Problems from Applied Logic II, 2007, 1
- Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189
- Fedor N Pakhomov, “Undecidability of the elementary theory of the semilattice of GLP-words”, Sb. Math., 203, № 8, 2012, 1211
- V. Yu. Shavrukov, “Undecidability in diagonalizable algebras”, J. symb. log., 62, № 1, 1997, 79