LFCS Seminar: Tuesday 21st April: Ian Shillito Tue, 21 Apr, 4.10pm Venue: IF G.03 Remote participation: URL: https://ed-ac-uk.zoom.us/j/87333184614 Title: Semantic adventures in intuitionistic modal logic Abstract Modal logics extend classical logic with unary connectives [] and <>,called modalities, which received wide-ranging interpretationsacross knowledge, time, computation, or obligation. An immenselyfruitful framework for the study of these logics is the Kripkesemantics: properties of many interesting modal logics can beexamined on the specific class of frames these logics correspond to. Ontop of providing models, the Kripke semantics provided solutions tothe notoriously difficult proof theory of these logics. In this talk, I will present some answers to the question “What happensif you swap classical logic by intuitionistic logic?”. I will notablyelaborate on a foundational intuitionistic version of the Kripkesemantics, its correspondence theory, how it allows to answerquestions about <>-free fragments of these logics, and how it can helpproof-theorists once more. Apr 21 2026 16.10 - 17.00 LFCS Seminar: Tuesday 21st April: Ian Shillito Ian Shillito University of Birmingham https://scholar.google.com/citations?hl=en&user=Jv4plaAAAAAJ Informatics Forum, G.03
LFCS Seminar: Tuesday 21st April: Ian Shillito Tue, 21 Apr, 4.10pm Venue: IF G.03 Remote participation: URL: https://ed-ac-uk.zoom.us/j/87333184614 Title: Semantic adventures in intuitionistic modal logic Abstract Modal logics extend classical logic with unary connectives [] and <>,called modalities, which received wide-ranging interpretationsacross knowledge, time, computation, or obligation. An immenselyfruitful framework for the study of these logics is the Kripkesemantics: properties of many interesting modal logics can beexamined on the specific class of frames these logics correspond to. Ontop of providing models, the Kripke semantics provided solutions tothe notoriously difficult proof theory of these logics. In this talk, I will present some answers to the question “What happensif you swap classical logic by intuitionistic logic?”. I will notablyelaborate on a foundational intuitionistic version of the Kripkesemantics, its correspondence theory, how it allows to answerquestions about <>-free fragments of these logics, and how it can helpproof-theorists once more. Apr 21 2026 16.10 - 17.00 LFCS Seminar: Tuesday 21st April: Ian Shillito Ian Shillito University of Birmingham https://scholar.google.com/citations?hl=en&user=Jv4plaAAAAAJ Informatics Forum, G.03
Apr 21 2026 16.10 - 17.00 LFCS Seminar: Tuesday 21st April: Ian Shillito Ian Shillito University of Birmingham https://scholar.google.com/citations?hl=en&user=Jv4plaAAAAAJ
