Kostrzycka, Z. (2020). From Intuitionism to Brouwer’s Modal Logic . Bulletin of the Section of Logic, 49(4), 343–358. https://doi.org/10.18778/0138-0680.2020.22