- David Fernández Duque, Joost J. Joosten, 7318, How the World Computes, 2012, 212
- Lev D. Beklemishev, Logic Colloquium '02, 2017, 75
- David Fernández-Duque, Konstnatinos Papafilippou, Joost J. Joosten, 13137, Logical Foundations of Computer Science, 2022, 52
- ANTONIO MONTALBÁN, JAMES WALSH, “ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR”, J. symb. log., 84, № 1, 2019, 205
- Lev Beklemishev, David Gabelaia, 4, Leo Esakia on Duality in Modal and Intuitionistic Logics, 2014, 257
- Sergei Artemov, 3, Handbook of Modal Logic, 2007, 927
- David Fernández-Duque, Joost J. Joosten, “Hyperations, Veblen progressions and transfinite iteration of ordinal functions”, Annals of Pure and Applied Logic, 164, № 7-8, 2013, 785
- Georg Moser, “Ackermann’s substitution method (remixed)”, Annals of Pure and Applied Logic, 142, № 1-3, 2006, 1
- Fedor N Pakhomov, “Undecidability of the elementary theory of the semilattice of GLP-words”, Sb. Math., 203, № 8, 2012, 1211
- Фeдор Николаевич Пахомов, Fedor Nikolaevich Pakhomov, “Неразрешимость элементарной теории полурешетки $\mathrm{GLP}$-слов”, Матем. сб., 203, № 8, 2012, 141