- Juan P. Aguilera, “A topological completeness theorem for transfinite provability logic”, Arch. Math. Logic, 62, no. 5-6, 2023, 751
- David Fernández-Duque, “The polytopologies of transfinite provability logic”, Arch. Math. Logic, 53, no. 3-4, 2014, 385
- Lev Beklemishev, David Gabelaia, 4, Leo Esakia on Duality in Modal and Intuitionistic Logics, 2014, 257