Walicki, M. “Modalities As Interactions Between the Classical and the Intuitionistic Logics”. Logic and Logical Philosophy, vol. 15, no. 3, Mar. 2007, pp. 193-15, doi:10.12775/LLP.2006.012.