A. L. Semenov, M. A. Babenko, A. Ya. Belov, N. K. Vereshchagin, M. E. Vishnikin, E. E. Zolin, V. N. Krupski, S. L. Kuznetsov, V. A. Lyubetskii, A. A. Onoprienko, M. R. Pentus, S. F. Soprunov, A. A. Sorokin, V. B. Shehtman, T. L. Yavorskaya, “Chair of Mathematical Logic and Theory of Algorithms”, Moscow University Mathematics Bulletin, Moscow University Måchanics Bulletin, 80:1 (2025), 23–33
DAVID FERNÁNDEZ-DUQUE, “TAMING THE 'ELSEWHERE': ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES”, The Review of Symbolic Logic, 17:1 (2024), 144
David Fernández-Duque, Quentin Gougeon, “Fixed point logics and definable topological properties”, Math. Struct. Comp. Sci., 34:2 (2024), 81
Ilya Shapirovsky, Lecture Notes in Computer Science, 13923, Logic, Language, Information, and Computation, 2023, 351
David Fernández-Duque, Quentin Gougeon, Lecture Notes in Computer Science, 13468, Logic, Language, Information, and Computation, 2022, 36
ROBERT GOLDBLATT, IAN HODKINSON, “STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES”, The Review of Symbolic Logic, 13:3 (2020), 611
Robert Goldblatt, Ian Hodkinson, “The Finite Model Property for Logics with the Tangle Modality”, Stud Logica, 106:1 (2018), 131
Lev Beklemishev, David Gabelaia, Outstanding Contributions to Logic, 4, Leo Esakia on Duality in Modal and Intuitionistic Logics, 2014, 257