1. Abashidze, M. A., Ordinal completeness of the Gödel-Löb modal system, Intensional logics and the logical structure of theories (Telavi, 1985), “Metsniereba”, Tbilisi, 1988, pp. 49–73 (Russian).
2. Bezhanishvili G., Esakia L., Gabelaia D.: ‘Some results on modal axiomatization and definability for topological spaces’. Studia Logica 81(3), 325–355 (2005)
3. Bezhanishvili, G., L. Esakia, and D. Gabelaia, ‘K4.Grz and hereditarily irresolvable spaces’, in S. Feferman, W. Sieg, V. Kreinovich, V. Lifschitz, and R. de Queiroz (eds.), Proofs, Categories and Computations. Essays in honor of Grigori Mints. College Publications, 2010, pp. 61–69.
4. Bezhanishvili G., Esakia L., Gabelaia D.: ‘The modal logic of Stone spaces: diamond as derivative’. Rev. Symb. Log. 3(1), 26–40 (2010)
5. Bezhanishvili, G., L. Esakia, and D. Gabelaia, ‘Spectral and T 0-spaces in dsemantics’, in N. Bezhanishvili, S. Löbner, K. Schwabe, and L. Spada (eds.), Lecture Notes in Artificial Intelligence. Springer, 2011, pp. 16–29.