P. Łukowski, “A deductive-reductive form of logic: Intuitionistic S4 modalities”, LLP, vol. 10, no. 10, pp. 79–91, Jan. 2004.