Fedor Pakhomov, “On the complexity of the closed fragment of Japaridze’s provability logic”, Arch. Math. Logic, 2014
Shavrukov V.Yu., Visser A., “Uniform Density in Lindenbaum Algebras”, Notre Dame J. Form. Log., 55:4 (2014), 569–582
Volker Halbach, Albert Visser, Studies in Universal Logic, The Life and Work of Leon Henkin, 2014, 249
Lev Beklemishev, David Gabelaia, Outstanding Contributions to Logic, 4, Leo Esakia on Duality in Modal and Intuitionistic Logics, 2014, 257
Walter Dean, Hidenori Kurokawa, “The Paradox of the Knower revisited”, Annals of Pure and Applied Logic, 2013
Beklemishev L., Gabelaia D., “Topological Completeness of the Provability Logic Glp”, Ann. Pure Appl. Log., 164:12, SI (2013), 1201–1223
Joosten J.J., “Pi(0)(1)-Ordinal Analysis Beyond First-Order Arithmetic”, Math. Commun., 18:1 (2013), 109–121
Cordon-Franco A., Fernandez-Margarit A., Lara-Martin F.F., “On the Optimality of Conservation Results for Local Reflection in Arithmetic”, J. Symb. Log., 78:4 (2013), 1025–1035
Ф. Н. Пахомов, “Неразрешимость элементарной теории полурешетки $\mathrm{GLP}$-слов”, Матем. сб., 203:8 (2012), 141–160 ; F. N. Pakhomov, “Undecidability of the elementary theory of the semilattice of GLP-words”, Sb. Math., 203:8 (2012), 1211–1229
Icard T.F., Joosten J.J., “Provability and Interpretability Logics with Restricted Realizations”, Notre Dame J. Form. Log., 53:2 (2012), 133–154