Reasoning About Group Polarization: From Semantic Games to Sequent Systems

Robert Freiman; Carlos Olarte; Elaine Pimentel; Christian Fermüller

doi:10.29007/wptz

Download PDF Open PDF in browser

Reasoning About Group Polarization: From Semantic Games to Sequent Systems

18 pages•Published: May 26, 2024

Robert Freiman, Carlos Olarte, Elaine Pimentel and Christian Fermüller

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.

Keyphrases: Games semantics, modal logic, sequent system

In: Nikolaj Bjorner, Marijn Heule and Andrei Voronkov (editors). Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol 100, pages 70--87

Links:	https://easychair.org/publications/paper/6GMq
	https://doi.org/10.29007/wptz

BibTeX entry

@inproceedings{LPAR2024:Reasoning_About_Group_Polarization,
  author    = {Robert Freiman and Carlos Olarte and Elaine Pimentel and Christian Ferm\textbackslash{}"uller},
  title     = {Reasoning About Group Polarization: From Semantic Games to Sequent Systems},
  booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {100},
  pages     = {70--87},
  year      = {2024},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/6GMq},
  doi       = {10.29007/wptz}}

Download PDF Open PDF in browser