Relating categorical and kripke semantics for intuitionistic modal logics (1998)

by Natasha Alechine, Valeria de Paiva, Eike Ritter
Venue:In Proceedings of the Conference on Advances in Modal Logic (AIML'98