S. Drobyshevich, “On classical behavior of intuitionistic modalities”, LLP, vol. 24, no. 1, pp. 79–104, Aug. 2014.