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