TY - RPRT TI - Logics with Multiteam Semantics AU - Erich Grädel AU - Richard Wilke PY - 2020 UR - https://arxiv.org/abs/2011.09834 ID - 2011.09834 ER -