De Paiva, V,V,De PaivaGore, R.R.GoreMendler, MichaelMichaelMendler2019-09-192014-09-2420040955-792Xhttps://fis.uni-bamberg.de/handle/uniba/12846engModalities in constructive modal logics and type theoriesarticle