%0 Generic
%A Freiman, Robert
%A Olarte, Carlos
%A Pimentel, Elaine
%A Fermüller, Christian
%C Port Louis, Mauritius
%D 2024
%E Bjørner, Nikolaj
%E Heule, Marijn
%E Voronkov, Andrei
%F discovery:10200112
%I Easy Chair
%P 70-87
%T Reasoning About Group Polarization: From Semantic Games to Sequent Systems
%U https://discovery.ucl.ac.uk/id/eprint/10200112/
%V 100
%X Group polarization, the phenomenon where individuals become more extreme after in- teracting, has been gaining attention, especially with the rise of social media shaping peo- ple’s opinions. Recent interest has emerged in formal reasoning about group polarization using logical systems. In this work we consider the modal logic PNL that captures the no- tion of agents agreeing or disagreeing on a given topic. Our contribution involves enhancing PNL with advanced formal reasoning techniques, instead of relying on axiomatic systems for analyzing group polarization. To achieve this, we introduce a semantic game tailored for (hybrid) extensions of PNL. This game fosters dynamic reasoning about concrete net- work models, aligning with our goal of strengthening PNL’s effectiveness in studying group polarization. We show how this semantic game leads to a provability game by systemically exploring the truth in all models. This leads to the first cut-free sequent systems for some variants of PNL. Using polarization of formulas, the proposed calculi can be modularly adapted to consider different frame properties of the underlying model.
%Z Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International Public License (CC BY-NC-ND 4.0), (https://creativecommons.org/licenses/by-nc-nd/4.0/deed.en).