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

by N Alechina, V de Paiva, E Ritter
Venue:In Proceedings of the Conference on Advances in Modal Logic (AIML'98