Freiman, Robert; Olarte, Carlos; Pimentel, Elaine; Fermüller, Christian; (2024) Reasoning About Group Polarization: From Semantic Games to Sequent Systems. In: Bjørner, Nikolaj and Heule, Marijn and Voronkov, Andrei, (eds.) Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning. (pp. pp. 70-87). Easy Chair: Port Louis, Mauritius.