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/2023/newsitem/14117/20
 -February-2023-NihiL-Seminar-Aleksi-Anttila
DTSTAMP:20230213T141523
SUMMARY:NihiL Seminar, Aleksi Anttila
ATTENDEE;ROLE=Speaker:Aleksi Anttila
DTSTART;TZID=Europe/Amsterdam:20230220T160000
DTEND;TZID=Europe/Amsterdam:20230220T174500
LOCATION:ILLC seminar room F1.15, Science Park 107
 , Amsterdam / online via Zoom
DESCRIPTION:Abstract: Bilateral State-based Modal 
 Logic (BSML) is a modal logic employing team/state
 -based semantics which can be used to model free c
 hoice inference and other natural language phenome
 na. We introduce a natural deduction system for BS
 ML as well as for two extensions: BSML with the in
 quisitive disjunction and BSML with a novel emptin
 ess operator. We also study the expressive power o
 f these logics—we show that the two extensions are
  expressively complete.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Abstract: Bila
 teral State-based Modal Logic (BSML) is a modal lo
 gic employing team/state-based semantics which can
  be used to model free choice inference and other 
 natural language phenomena. We introduce a natural
  deduction system for BSML as well as for two exte
 nsions: BSML with the inquisitive disjunction and 
 BSML with a novel emptiness operator. We also stud
 y the expressive power of these logics—we show tha
 t the two extensions are expressively complete.<br
 ></p>\n
URL:/NewsandEvents/Archives/2023/newsitem/14117/20
 -February-2023-NihiL-Seminar-Aleksi-Anttila
CONTACT:Søren Brinck Knudstorp at s.b.knudstorp at
  uva.nl
END:VEVENT
END:VCALENDAR