ŁUKOWSKI, Piotr. A deductive-reductive form of logic: Intuitionistic S4 modalities. Logic and Logical Philosophy. Online. 19 January 2004. Vol. 10, no. 10, p. 79–91. [Accessed 8 July 2025]. DOI 10.12775/LLP.2002.005.