Archive

Speaker: Matilda Häggblom (University of Helsinki)
Title: Inclusion and exclusion in team semantics (joint with NihiL)
Date:
Time: 16:00 - 17:30
Location: SP107 F1.15 (ILLC Seminar Room)
Abstract: We consider inclusion and exclusion atoms in team semantics, their individual implication problems, and their respective extensions of propositional team-based logic. The complete systems for exclusion atoms (Casanova & Vidal 1983, Häggblom 2024) depend on whether repetitions of variables are allowed, highlighting the importance of carefully considering such syntactical restrictions. The situation is similar for inclusion atoms (Mitchell 1983, Casanova et al. 1984), where we also present an alternative completeness proof that shows completeness not only in the first-order setting, but also in the propositional setting. We then relax the syntax of propositional inclusion atoms further by allowing boolean constants and show that no finite axiomatization can exist.