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