<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10200112> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/dc/terms/title> "Reasoning About Group Polarization: From Semantic Games to Sequent Systems"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/ontology/bibo/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."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/dc/terms/date> "2024-05-26" .
<https://discovery.ucl.ac.uk/id/document/1797556> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/ontology/bibo/volume> "100" .
<https://discovery.ucl.ac.uk/id/org/ext-9bc04da0b0efa0523ec7a5a324d793d0> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<https://discovery.ucl.ac.uk/id/org/ext-9bc04da0b0efa0523ec7a5a324d793d0> <http://xmlns.com/foaf/0.1/name> "Easy Chair"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/dc/terms/publisher> <https://discovery.ucl.ac.uk/id/org/ext-9bc04da0b0efa0523ec7a5a324d793d0> .
<https://discovery.ucl.ac.uk/id/publication/ext-23987340> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Collection> .
<https://discovery.ucl.ac.uk/id/publication/ext-23987340> <http://xmlns.com/foaf/0.1/name> "EPiC Series in Computing"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/publication/ext-23987340> .
<https://discovery.ucl.ac.uk/id/publication/ext-23987340> <http://www.w3.org/2002/07/owl#sameAs> <urn:issn:23987340> .
<https://discovery.ucl.ac.uk/id/publication/ext-23987340> <http://purl.org/ontology/bibo/issn> "23987340" .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-245c5319c41a22000eb378f52438a1d0> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10200112#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10200112#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-245c5319c41a22000eb378f52438a1d0> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-0600ff784b71bec854e259c73ad2498b> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10200112#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10200112#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-0600ff784b71bec854e259c73ad2498b> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-ac4bd2e141698389441727a0261114b9> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10200112#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10200112#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <https://discovery.ucl.ac.uk/id/person/ext-ac4bd2e141698389441727a0261114b9> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-88410736c2d9137a9db19cff3a44587c> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10200112#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10200112#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_4> <https://discovery.ucl.ac.uk/id/person/ext-88410736c2d9137a9db19cff3a44587c> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://www.loc.gov/loc.terms/relators/EDT> <https://discovery.ucl.ac.uk/id/person/ext-3978dbae32f2d786b6a6a8dc6188d53c> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/ontology/bibo/editorList> <https://discovery.ucl.ac.uk/id/eprint/10200112#editors> .
<https://discovery.ucl.ac.uk/id/eprint/10200112#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-3978dbae32f2d786b6a6a8dc6188d53c> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://www.loc.gov/loc.terms/relators/EDT> <https://discovery.ucl.ac.uk/id/person/ext-610af55f43f52642aa0daa1f0103f169> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/ontology/bibo/editorList> <https://discovery.ucl.ac.uk/id/eprint/10200112#editors> .
<https://discovery.ucl.ac.uk/id/eprint/10200112#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-610af55f43f52642aa0daa1f0103f169> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://www.loc.gov/loc.terms/relators/EDT> <https://discovery.ucl.ac.uk/id/person/ext-ee612ea3b8ac070eb9dc8fc96d3b5927> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/ontology/bibo/editorList> <https://discovery.ucl.ac.uk/id/eprint/10200112#editors> .
<https://discovery.ucl.ac.uk/id/eprint/10200112#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <https://discovery.ucl.ac.uk/id/person/ext-ee612ea3b8ac070eb9dc8fc96d3b5927> .
<https://discovery.ucl.ac.uk/id/person/ext-3978dbae32f2d786b6a6a8dc6188d53c> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-3978dbae32f2d786b6a6a8dc6188d53c> <http://xmlns.com/foaf/0.1/givenName> "Nikolaj"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-3978dbae32f2d786b6a6a8dc6188d53c> <http://xmlns.com/foaf/0.1/familyName> "Bjørner"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-3978dbae32f2d786b6a6a8dc6188d53c> <http://xmlns.com/foaf/0.1/name> "Nikolaj Bjørner"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-0600ff784b71bec854e259c73ad2498b> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-0600ff784b71bec854e259c73ad2498b> <http://xmlns.com/foaf/0.1/givenName> "Carlos"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-0600ff784b71bec854e259c73ad2498b> <http://xmlns.com/foaf/0.1/familyName> "Olarte"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-0600ff784b71bec854e259c73ad2498b> <http://xmlns.com/foaf/0.1/name> "Carlos Olarte"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-ee612ea3b8ac070eb9dc8fc96d3b5927> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-ee612ea3b8ac070eb9dc8fc96d3b5927> <http://xmlns.com/foaf/0.1/givenName> "Andrei"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-ee612ea3b8ac070eb9dc8fc96d3b5927> <http://xmlns.com/foaf/0.1/familyName> "Voronkov"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-ee612ea3b8ac070eb9dc8fc96d3b5927> <http://xmlns.com/foaf/0.1/name> "Andrei Voronkov"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-ac4bd2e141698389441727a0261114b9> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-ac4bd2e141698389441727a0261114b9> <http://xmlns.com/foaf/0.1/givenName> "Elaine"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-ac4bd2e141698389441727a0261114b9> <http://xmlns.com/foaf/0.1/familyName> "Pimentel"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-ac4bd2e141698389441727a0261114b9> <http://xmlns.com/foaf/0.1/name> "Elaine Pimentel"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-245c5319c41a22000eb378f52438a1d0> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-245c5319c41a22000eb378f52438a1d0> <http://xmlns.com/foaf/0.1/givenName> "Robert"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-245c5319c41a22000eb378f52438a1d0> <http://xmlns.com/foaf/0.1/familyName> "Freiman"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-245c5319c41a22000eb378f52438a1d0> <http://xmlns.com/foaf/0.1/name> "Robert Freiman"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-610af55f43f52642aa0daa1f0103f169> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-610af55f43f52642aa0daa1f0103f169> <http://xmlns.com/foaf/0.1/givenName> "Marijn"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-610af55f43f52642aa0daa1f0103f169> <http://xmlns.com/foaf/0.1/familyName> "Heule"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-610af55f43f52642aa0daa1f0103f169> <http://xmlns.com/foaf/0.1/name> "Marijn Heule"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-88410736c2d9137a9db19cff3a44587c> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-88410736c2d9137a9db19cff3a44587c> <http://xmlns.com/foaf/0.1/givenName> "Christian"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-88410736c2d9137a9db19cff3a44587c> <http://xmlns.com/foaf/0.1/familyName> "Fermüller"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-88410736c2d9137a9db19cff3a44587c> <http://xmlns.com/foaf/0.1/name> "Christian Fermüller"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/ontology/bibo/presentedAt> <https://discovery.ucl.ac.uk/id/event/ext-b1023ed317708e0753dfe46b64112d70> .
<https://discovery.ucl.ac.uk/id/event/ext-b1023ed317708e0753dfe46b64112d70> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Conference> .
<https://discovery.ucl.ac.uk/id/event/ext-b1023ed317708e0753dfe46b64112d70> <http://purl.org/dc/terms/title> "LPAR 2024: 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ProceedingsSectionEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1797556> .
<https://discovery.ucl.ac.uk/id/document/1797556> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1797556> <http://www.w3.org/2000/01/rdf-schema#label> "Reasoning About Group Polarization: From Semantic Games to Sequent Systems (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://purl.org/dc/elements/1.1/hasVersion> <https://discovery.ucl.ac.uk/id/document/1797556> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://eprints.org/ontology/hasPublished> <https://discovery.ucl.ac.uk/id/document/1797556> .
<https://discovery.ucl.ac.uk/id/document/1797556> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10200112/1/LPAR_2024_pages_70-87.pdf> .
<https://discovery.ucl.ac.uk/id/document/1797556> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10200112/1/LPAR_2024_pages_70-87.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/10200112/1/LPAR_2024_pages_70-87.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "LPAR_2024_pages_70-87.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1797557> .
<https://discovery.ucl.ac.uk/id/document/1797557> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1797557> <http://www.w3.org/2000/01/rdf-schema#label> "Reasoning About Group Polarization: From Semantic Games to Sequent Systems (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1797557> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1797556> .
<https://discovery.ucl.ac.uk/id/document/1797557> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1797556> .
<https://discovery.ucl.ac.uk/id/document/1797557> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/1797556> .
<https://discovery.ucl.ac.uk/id/document/1797557> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10200112/2/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/document/1797557> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10200112/2/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/eprint/10200112/2/indexcodes.txt> <http://www.w3.org/2000/01/rdf-schema#label> "indexcodes.txt"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1797558> .
<https://discovery.ucl.ac.uk/id/document/1797558> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1797558> <http://www.w3.org/2000/01/rdf-schema#label> "Reasoning About Group Polarization: From Semantic Games to Sequent Systems (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1797558> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1797556> .
<https://discovery.ucl.ac.uk/id/document/1797558> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1797556> .
<https://discovery.ucl.ac.uk/id/document/1797558> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1797556> .
<https://discovery.ucl.ac.uk/id/document/1797558> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10200112/3/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/document/1797558> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10200112/3/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10200112/3/lightbox.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "lightbox.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1797559> .
<https://discovery.ucl.ac.uk/id/document/1797559> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1797559> <http://www.w3.org/2000/01/rdf-schema#label> "Reasoning About Group Polarization: From Semantic Games to Sequent Systems (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1797559> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1797556> .
<https://discovery.ucl.ac.uk/id/document/1797559> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1797556> .
<https://discovery.ucl.ac.uk/id/document/1797559> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1797556> .
<https://discovery.ucl.ac.uk/id/document/1797559> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10200112/4/preview.jpg> .
<https://discovery.ucl.ac.uk/id/document/1797559> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10200112/4/preview.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10200112/4/preview.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "preview.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1797560> .
<https://discovery.ucl.ac.uk/id/document/1797560> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1797560> <http://www.w3.org/2000/01/rdf-schema#label> "Reasoning About Group Polarization: From Semantic Games to Sequent Systems (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1797560> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1797556> .
<https://discovery.ucl.ac.uk/id/document/1797560> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1797556> .
<https://discovery.ucl.ac.uk/id/document/1797560> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1797556> .
<https://discovery.ucl.ac.uk/id/document/1797560> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10200112/5/medium.jpg> .
<https://discovery.ucl.ac.uk/id/document/1797560> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10200112/5/medium.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10200112/5/medium.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "medium.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1797561> .
<https://discovery.ucl.ac.uk/id/document/1797561> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1797561> <http://www.w3.org/2000/01/rdf-schema#label> "Reasoning About Group Polarization: From Semantic Games to Sequent Systems (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1797561> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1797556> .
<https://discovery.ucl.ac.uk/id/document/1797561> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1797556> .
<https://discovery.ucl.ac.uk/id/document/1797561> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1797556> .
<https://discovery.ucl.ac.uk/id/document/1797561> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10200112/6/small.jpg> .
<https://discovery.ucl.ac.uk/id/document/1797561> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10200112/6/small.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10200112/6/small.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "small.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10200112> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10200112/> .
<https://discovery.ucl.ac.uk/id/eprint/10200112/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10200112 \n\nReasoning About Group Polarization: From Semantic Games to Sequent Systems\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/10200112/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/10200112/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10200112> .