IPM Calendar 
Tuesday 7 July 2020   Today  
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)