Categorical and Kripke Semantics for Constructive S4 Modal Logic.

Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter

Browse the full CSL paper archive.