1. F.Wolter and M. Zakharyaschev, “Intuitionistic modal logic,” in Synthese Libr., 280, Kluwer, Dordrecht (1999), pp. 227-238.
2. V. H. Sotirov, “Modal theories with intuitionistic logic,” in Proc. Conf. Math. Logic, (Sofia, 1980), Bulgarian Academy of Sciences (1984), pp. 139-171.
3. M. Božić and K. Došen, “Models for normal intuitionistic logics,” Stud. Log., 43, 217-245 (1984).
4. K. Došen, “Negative modal operators in intuitionistic logic,” Publ. Inst. Math., Nouv. Sér., 35(49), 3-14 (1984).
5. K. Došen, “Models for stronger normal intuitionistic modal logics,” Stud. Log., 44, No. 1, 39-70 (1985).