Ł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 25 July 2024]. DOI 10.12775/LLP.2002.005.