Łukowski, P. A Deductive-Reductive Form of Logic: Intuitionistic S4 Modalities. LLP 2004, 10, 79–91.