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.       Green open access