Constructive modalities with provability smack - Litak, Tadeusz Michal (Leo Esakia on duality in modal and intuitionistic logics, 2014)
UnivIS-Import:2015-04-20:Pub.2014.tech.IMMD.profes_1.constr