Metric Generalization and Modification of Classification Algorithms Based on Formal Concept Analysis. - Evgeny Kolmakov (FCA4AI@ECAI, 2014)

Axiomatization of Provable n-Provability. - Evgeny Kolmakov; Lev D. Beklemishev (J. Symb. Log., 2019)

Local reflection, definable elements and 1-provability. - Evgeny Kolmakov (Arch. Math. Log., 2020)

On Shavrukov's non-Isomorphism Theorem for diagonalizable Algebras. - Evgeny Kolmakov (Rev. Symb. Log., 2024)