Walicki, M. (2007) “Modalities as interactions between the classical and the intuitionistic logics”, Logic and Logical Philosophy, 15(3), pp. 193–215. doi: 10.12775/LLP.2006.012.