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