TY - RPRT TI - The flattening operator in team-based logics AU - Arnaud Durand AU - Juha Kontinen AU - Werner Mérian AU - Jouko Väänänen PY - 2025 UR - https://arxiv.org/abs/2505.21149 ID - 2505.21149 ER -