Drobyshevich, S. (2014) “On classical behavior of intuitionistic modalities”, Logic and Logical Philosophy, 24(1), pp. 79–104. doi: 10.12775/LLP.2014.019.