Complexity Results in Team Semantics: Nonemptiness Is Not So Complex

Aleksi Anttila, Juha Kontinen, Fan Yang

We initiate the study of the complexity-theoretic properties of convex logics in team semantics. We focus on the extension of classical propositional logic with the nonemptiness at…