Łukowski, Piotr. 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.