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
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.