Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter. Categorical and Kripke Semantics for Constructive S4 Modal Logic. In Laurent Fribourg, editor, Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings. Volume 2142 of Lecture Notes in Computer Science, pages 292-307, Springer, 2001. [doi]
Abstract is missing.