Intuitionistic Modal Logic: are you sure?

I was always very keen on the idea that philosophical logicians and programming language designers interested in non-classical modal logics should talk to each other about their problems, about what kinds of  intuitionistic or constructive modal logics they would like to have and  why. Their goals are clearly different, but there is a large overlap in the mathematical contents of their common subject and because the communities largely ignore each other, they do not even know the basic results o