|Tuesday 7 July 2020|
|Events for day: Wednesday 24 June 2020|
| 15:30 - 17:30 Mathtematical Logic Weekly Seminar|
Dynamic Topological Logic
Abstract: Dynamic (topological) systems are mathematical models of change or movement in space which have applications in various branches of mathematics and the physical sciences. Formally, they consist of pairs (X,S), where X is a topological space and S: X->X is continuous. From a modal logic perspective this natually leads to a combination of spatial and temporal modal logics called Dynamic Topological Logic (DTL).
In this two-day course we will cover the main results and techniques leading up to the state of the art in the field of Dynamic Topological Logic. The proposed schecule is as follows.
DAY 1 (24/06/2020)