Drobyshevich, S. “On Classical Behavior of Intuitionistic Modalities”. Logic and Logical Philosophy, vol. 24, no. 1, Aug. 2014, pp. 79–104, doi:10.12775/LLP.2014.019.