Walicki, M. Modalities As Interactions Between the Classical and the Intuitionistic Logics. LLP 2007, 15, 193-215.