Expressibility and inexpressibility in propositional team logics

Matilda Häggblom, Minna Hirvonen, Jouko Väänänen

We develop dimension theoretic methods for propositional team based logics. Such quantitative methods were defined for team based first-order logic in a recent paper by Hella, Luos…