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