Kostrzycka, Z. From Intuitionism to Brouwer’s Modal Logic . B Sect Log 2020, 49, 343-358.