Z. Kostrzycka, “From Intuitionism to Brouwer’s Modal Logic ”, B Sect Log, vol. 49, no. 4, pp. 343–358, Dec. 2020.