1. Chagrov, A., and M. Zakharyaschev, Modal logic, vol. 35 of Oxford Logic Guides, Oxford University Press, Oxford, 1997.
2. Fine, K., An incomplete logic containing S4, Theoria 40(1):23–29, 1974.
3. Fine, K., Logics containing K4, Part I, The Journal of Symbolic Logic 39(1):31–42, 1974.
4. Fine, K., Logics containing K4, Part II, The Journal of Symbolic Logic 50(3):619–651, 1985.
5. Kracht, M., Tools and techniques in modal logic, vol. 142 of Studies in Logic and the Foundations of Mathematics, Elsevier Science B. V., Amsterdam, Lausanne and New York, 1999.