Kostrzycka Z. From Intuitionism to Brouwer’s Modal Logic . B Sect Log. 2020;49(4):343-358. doi:10.18778/0138-0680.2020.22