Categorical and Kripke Semantics for Constructive S4 Modal Logic (2001)

by N Alechina, M Mendler, V de Paiva, E Ritter
Venue:In Proceedings of the 15th International Workshop on Computer Science Logic