|Wednesday 20 February 2019|
|Events for day: Thursday 27 December 2018|
| 14:00 - 16:00 Mathtematical Logic Weekly Seminar|
Possibility Semantics and Logics for Dynamical Systems
Possibility semantics was originally proposed by Humberstone, and has received an increasing amount of attention in recent years, as an alternative modeling for classical and intuitionistic logics.
In this talk, we will consider the following problem: how we can generalize possibility semantics to logics of dynamical systems? For this, in the first part, we will review possibility semantics for propositional modal logic and intuitionistic propositional logic. Moreover, we will survey some of the results were obtained so far in this area.
In the second part, we will recall dynamic topological logic and some well-known facts abo ...