Kostrzycka, Z. “From Intuitionism to Brouwer’s Modal Logic”. Bulletin of the Section of Logic, vol. 49, no. 4, Dec. 2020, pp. 343-58, doi:10.18778/0138-0680.2020.22.