1. Amati, G. and Pirri, F.: 1994, `A Uniform Tableau Method for Intuitionistic Modal Logics I’, Stadia Logica, 53, 29–60.
2. Bessonov, A. V.: 1977, `New Operations in Intuitionistic Calculus’, Mathematical Notes, 22, 503–506.
3. Bezhanishvili, G.: 1997, `Modal Intuitionistic Logics and Superintuitionistic Predicate Logics: Correspondence Theory’, Manuscript.
4. Blok, W. J.: 1976, Varieties of Interior Algebras, PhD Thesis, University of Amsterdam, The Netherlands. Bogie, M. and Dosen, K.: 1984, `Models for Normal Intuitionistic Logics’, Studio Logica, 43, 217–245.
5. Bull, R. A.: 1966, `MIPC as the Formalization of an Intuitionistic Concept of Modality’, J. Symbolic Logic, 31, 609–616.