Please note that this newsitem has been archived, and may contain outdated information or links.
20 February 2023, NihiL Seminar, Aleksi Anttila
Speaker: Aleksi Anttila
Title: An Axiomatization of Bilateral State-based Modal Logic
Date: Monday 20 February 2023
Time: 16:00-17:45
Location: ILLC seminar room F1.15, Science Park 107, Amsterdam / online via Zoom
Abstract: Bilateral State-based Modal Logic (BSML) is a modal logic 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 extensions: BSML with the inquisitive disjunction and BSML with a novel emptiness operator. We also study the expressive power of these logics—we show that the two extensions are expressively complete.
For more information,
contact Søren Brinck Knudstorp at s.b.knudstorp at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.