The Institute for Logic, Language and Computation is hosting a workshop on team semantics and related topics on 31 March 2025 on the occasion of Aleksi Anttila’s PhD defence.
The workshop takes place in Bushuis, room F1.101B. Everyone is welcome to attend. Online participation is possible via Zoom (Zoom link).
Details for Aleksi Anttila’s PhD defence (1 April 2025) can be found here.
| 09:10 - 09:30 | Welcome | |
| 09:30 - 10:15 | Aleksi Anttila (Amsterdam) | A Deep-inference Sequent Calculus for a Propositional Team Logic |
| 10:15 - 11:00 | Juha Kontinen (Helsinki) | First Results on Propositional Preferential Dependence Logic |
| 11:00 - 11:15 | Break | |
| 11:15 - 12:00 | Matilda Häggblom (Helsinki) | Axiomatization of Inclusion-exclusion Atoms |
| 12:00 - 12:45 | Jouko Väänänen (Helsinki & Amsterdam) | Dimension Theory for Team Properties |
| 12:45 - 14:15 | Lunch break | |
| 14:15 - 15:00 | Simone Conti (Padua) | Connecting State-based and Team-based Inquisitive Logic |
| 15:00 - 15:45 | Haoyu Wang (Peking) | |
| 15:45 - 16:00 | Break | |
| 16:00 - 16:45 | Ivano Ciardelli (Padua) | Global Supervenience in Inquisitive Modal Logic |
Bushuis Room F1.01B
Kloveniersburgwal 48, 1012 CX Amsterdam