BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/8431/14-December-2016-A|C-seminar-Andrey-Kudinov
DTSTAMP:20161205T142300
SUMMARY:A|C seminar, Andrey Kudinov
ATTENDEE;ROLE=Speaker:Andrey Kudinov (HSE Moscow)
DTSTART:20161214T170000
LOCATION:Room G2.02, Science Park 904, Amsterdam.
DESCRIPTION:Abstract: The real line is probably t
he most well known and well studied topological sp
ace. There are 6 different combinations of languag
es of this kind (two unimodal and four bimodal). T
he first modality in bimodal and the modality in u
nimodal languages we will interpret either usingĀ
closure or derivation topological operators. For t
he second modality in bimodal settings we use univ
ersal or difference modalities. We will discuss l
ogics of the real line that arise in all these lan
guages.
X-ALT-DESC;FMTTYPE=text/html:\n Abstract:

\
n The real line is probably the most well known a
nd well studied topological space. There are 6 dif
ferent 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 deri
vation topological operators. For the second modal
ity in bimodal settings we use universal or differ
ence modalities.

\n We will discuss logics of
the real line that arise in all these languages.\n
URL:http://www.illc.uva.nl/alg-coalg/
CONTACT:Frederik Lauridsen at f.m.lauridsen at uv
a.nl
END:VEVENT
END:VCALENDAR