Walicki, Michał. 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.