Friday 19 April 2024 |
Events for day: Thursday 25 April 2019 |
10:00 - 12:00 Short Course Method of Forcing with Side Conditions School MATHEMATICS Elementary submodes as side conditions lead to a powerful method for designing forcing notions with desired generic objects. In more recent years such side conditions were used also in iterated forcing constructions. The series of lectures will present both of these two aspect of the side condition method. ... 14:00 - 17:00 Short Course Coalgberas and Modal Logic: One-step at a time School MATHEMATICS Coalgebraic modal logic is a general framework for modal logics whose semantics goes beyond the standard relational world. Examples include neighbourhood logic, probabilistic logic and game logic. In this talk, I will first introduce syntax and semantics of coalgebraic modal logic (for both nabla and predicate lifting approaches). Then I will define the one-step fragment of this logic, which contains formulas with exactly one layer of modalities. Following this paradigm, we discuss settings where logical properties like soundness, completeness and interpolation at the one-step level transfer to the level of the full coalgebraic (fixpoi ... |