Alechina, N.N.AlechinaMendler, MichaelMichaelMendlerDe Paiva, V,V,De PaivaRitter, E.E.Ritter2019-09-192014-09-242001https://fis.uni-bamberg.de/handle/uniba/9774engCategorical and Kripke semantics for constructive S4 modal logicconferenceobject