The propositional logic of teams - Fredrik Engström; Orvar Lorimer Olsson (2023)