Lukas Zenger, 05/12/2024: intuitionistic modal logic with the master modality

Whole-channel inclusion: Ghent Mathematical Logic Seminar is an honest teaching channel (title sample + 3 transcripts read: The one sample with a transcript is a detailed expert lecture on mathematical logic consistent with the channel's teaching-focused title verdict.); this title passed a strict title check (sonnet) after a labelling pass.

A 77-minute video from Ghent Mathematical Logic Seminar: “Lukas Zenger, 05/12/2024: intuitionistic modal logic with the master modality”.

Video by Ghent Mathematical Logic Seminar, played through YouTube's embedded player.