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