Guram Bezhanishvili Glivenko Type Theorems for Intuitionistic Modal Logics. 89-109 2001 67 Studia Logica 1 db/journals/sLogica/sLogica67.html#Bezhanishvili01