eprintid: 10200112 rev_number: 9 eprint_status: archive userid: 699 dir: disk0/10/20/01/12 datestamp: 2024-11-15 11:53:20 lastmod: 2024-11-15 11:56:12 status_changed: 2024-11-15 11:53:20 type: proceedings_section metadata_visibility: show sword_depositor: 699 creators_name: Freiman, Robert creators_name: Olarte, Carlos creators_name: Pimentel, Elaine creators_name: Fermüller, Christian title: Reasoning About Group Polarization: From Semantic Games to Sequent Systems ispublished: pub divisions: UCL divisions: B04 divisions: F48 note: 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). abstract: 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. date: 2024-05-26 date_type: published publisher: Easy Chair official_url: https://doi.org/10.29007/wptz oa_status: green full_text_type: pub language: eng primo: open primo_central: open_green verified: verified_manual elements_id: 2335159 doi: 10.29007/wptz lyricists_name: Pimentel, Elaine lyricists_id: EPIME68 actors_name: Flynn, Bernadette actors_id: BFFLY94 actors_role: owner full_text_status: public pres_type: paper series: EPiC Series in Computing publication: EPiC Series in Computing volume: 100 place_of_pub: Port Louis, Mauritius pagerange: 70-87 event_title: LPAR 2024: 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning issn: 2398-7340 book_title: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning editors_name: Bjørner, Nikolaj editors_name: Heule, Marijn editors_name: Voronkov, Andrei citation: 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 document_url: https://discovery.ucl.ac.uk/id/eprint/10200112/1/LPAR_2024_pages_70-87.pdf