BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2016/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;TZID=Europe/Amsterdam: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.
URL:http://www.illc.uva.nl/alg-coalg/
CONTACT:Frederik Lauridsen at f.m.lauridsen at uva
.nl
END:VEVENT
END:VCALENDAR