1. Bezhanishvili, G., Bezhanishvili, N., Harding, J.: Modal compact hausdorff spaces. J. Logic Comput. 25(1), 1–35 (2015)
2. Bezhanishvili, N., Sourabh, S.: Sahlqvist preservation for topological fixed-point logic. J. Logic Comput. 27(3), 679–703 (2017)
3. Cambridge Tracts in Theoretical Computer Science;P Blackburn,2001
4. Blackburn, P., van Benthem, J.F., Wolter, F.: Handbook of Modal Logic, vol. 3. Elsevier, Amsterdam (2006)
5. Britz, C.: Correspondence theory in many-valued modal logics. Master’s thesis, University of Johannesburg, South Africa (2016)