?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Reasoning+About+Group+Polarization%3A+From+Semantic+Games+to+Sequent+Systems&rft.creator=Freiman%2C+Robert&rft.creator=Olarte%2C+Carlos&rft.creator=Pimentel%2C+Elaine&rft.creator=Ferm%C3%BCller%2C+Christian&rft.description=Group+polarization%2C+the+phenomenon+where+individuals+become+more+extreme+after+in-+teracting%2C+has+been+gaining+attention%2C+especially+with+the+rise+of+social+media+shaping+peo-+ple%E2%80%99s+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%2C+instead+of+relying+on+axiomatic+systems+for+analyzing+group+polarization.+To+achieve+this%2C+we+introduce+a+semantic+game+tailored+for+(hybrid)+extensions+of+PNL.+This+game+fosters+dynamic+reasoning+about+concrete+net-+work+models%2C+aligning+with+our+goal+of+strengthening+PNL%E2%80%99s+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%2C+the+proposed+calculi+can+be+modularly+adapted+to+consider+different+frame+properties+of+the+underlying+model.&rft.publisher=Easy+Chair&rft.contributor=Bj%C3%B8rner%2C+Nikolaj&rft.contributor=Heule%2C+Marijn&rft.contributor=Voronkov%2C+Andrei&rft.date=2024-05-26&rft.type=Proceedings+paper&rft.language=eng&rft.source=+++++In%3A+Bj%C3%B8rner%2C+Nikolaj+and+Heule%2C+Marijn+and+Voronkov%2C+Andrei%2C+(eds.)+Proceedings+of+25th+Conference+on+Logic+for+Programming%2C+Artificial+Intelligence+and+Reasoning.++(pp.+pp.+70-87).++Easy+Chair%3A+Port+Louis%2C+Mauritius.+(2024)+++++&rft.format=text&rft.identifier=https%3A%2F%2Fdiscovery.ucl.ac.uk%2Fid%2Feprint%2F10200112%2F1%2FLPAR_2024_pages_70-87.pdf&rft.identifier=https%3A%2F%2Fdiscovery.ucl.ac.uk%2Fid%2Feprint%2F10200112%2F&rft.rights=open