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