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