Categorical and kripke semantics for constructive s4 modal logic. (2001)

by Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter
Venue:In Proc. of CSL,