Łukowski, P. 2004. A deductive-reductive form of logic: Intuitionistic S4 modalities. Logic and Logical Philosophy. 10, 10 (Jan. 2004), 79–91. DOI:https://doi.org/10.12775/LLP.2002.005.