M. Walicki, “Modalities as interactions between the classical and the intuitionistic logics”, LLP, vol. 15, no. 3, pp. 193–215, Mar. 2007.