Further Steps Towards a Logic of Polarization in Social Networks

In this paper we look at different ways of modally defining properties related to the concept of balance in signed social networks where relations can be either positive or negative. The motivation is to be able to formally reason about the social phenomenon of group polarization, for which balance theory forms a network-theoretical underpinning. The starting point is a recently developed basic modal logic that axiomatizes the class of social networks that are balanced up to a certain degree. This property is not modally definable but can be captured using a deduction rule. In this paper we examine different possibilities for extending this basic language, in order to, first, be able to define frame properties such as balance and related properties such as non-overlapping positive and negative relations and collective connectedness as axioms, and, second, be able to define the property of full balance rather than balanced-up-to-a-degree. We consider extensions with both static modalities such as the universal and the difference modality, the intersection modality, and nominals known from hybrid logic, as well as dynamic global bridge modalities known from sabotage logic. Along the way we provide axioms for weak balance. Finally, to explore measures of how far a network is from polarization, we consider and compare variations of distance measures between models in relation to balance.