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…