Łukowski, P. “A Deductive-Reductive Form of Logic: Intuitionistic S4 Modalities”. Logic and Logical Philosophy, vol. 10, no. 10, Jan. 2004, pp. 79–91, doi:10.12775/LLP.2002.005.