Łukowski P. A deductive-reductive form of logic: Intuitionistic S4 modalities. LLP [Internet]. 2004 Jan. 19 [cited 2024 Jul. 25];10(10):79–91. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2002.005