TY - JOUR T1 - Complexity of Propositional Logics in Team Semantic JO - ACM Transactions on Computational Logic UR - https://doi.org/10.1145/3157054 PY - 2018/01/06 AU - Hannula M AU - Kontinen J AU - Virtema J AU - Vollmer H ED - DO - DOI: 10.1145/3157054 PB - Association for Computing Machinery (ACM) VL - 19 IS - 1 SP - 1 EP - 14 Y2 - 2026/01/07 ER -