Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

14 December 2016, A|C seminar, Andrey Kudinov

Speaker: Andrey Kudinov (HSE Moscow)
Title: Modal logics of the real line
Date: Wednesday 14 December 2016
Time: 17:00
Location: Room G2.02, Science Park 904, Amsterdam.

Abstract:
The real line is probably the most well known and well studied topological space. There are 6 different combinations of languages of this kind (two unimodal and four bimodal). The first modality in bimodal and the modality in unimodal languages we will interpret either using  closure or derivation topological operators. For the second modality in bimodal settings we use universal or difference modalities.
We will discuss logics of the real line that arise in all these languages.

For more information, see http://www.illc.uva.nl/alg-coalg/ or contact Frederik Lauridsen at .

Please note that this newsitem has been archived, and may contain outdated information or links.