Modal logics for reasoning about social networks is currently an active field of research. There is still a gap, however, between the state of the art in logical formalisations of concepts related to social networks and the much more mature field of social network analysis. In this paper we take a step to bridge that gap. One of the key foundations of social network analysis is balance theory, which is used to analyse signed social networks where agents can have positive or negative relationships. Certain combinations of positive and negative relationships are considered to be unbalanced, or unstable—in particular the occurrence of cycles with an odd number of negative relationships. Especially relatively short cycles with an odd number of negative relationships are thought to put pressure on the agents to change one or more of the involved relationships from negative to positive or the other way around. Most existing logics for reasoning about social networks are defined for unsigned networks. In this paper we develop a modal logic for reasoning about structural properties of signed social networks, and give a sound and complete Hilbert-style axiomatic system. Furthermore, we completely axiomatise classes of signed social networks that are balanced to a certain degree n, in the sense that there are no cycles of length up to n with an odd number of negative relationships. Finally, we completely axiomatise the class of all fully balanced complete signed social networks, i.e., networks where everyone is connected with everyone else. Axiomatic completeness is non-trivial because neither the balance properties, nor the dichotomy between positive and negative relations, are modally definable. The paper thus provides a logical basis for reasoning about signed social networks in general and balanced networks in particular.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10849-019-09297-0
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,391
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
A Logic for Diffusion in Social Networks.Zoé Christoff & Jens Ulrik Hansen - 2015 - Journal of Applied Logic 13 (1):48-77.

View all 9 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Finding the Trustworthiness Nodes From Signed Social Networks.Xia Wang, Shu Zhang & Hui Li - 2013 - Journal of Intelligent Systems 22 (4):471-485.
Corporate Responsibilities in Internet-Enabled Social Networks.Stephen Chen - 2009 - Journal of Business Ethics 90 (S4):523 - 536.
The Meaning Structure of Social Networks.Jan A. Fuhse - 2009 - Sociological Theory 27 (1):51 - 73.
Fibring Argumentation Frames.Dov M. Gabbay - 2009 - Studia Logica 93 (2):231-295.
Global Networks.R. J. Holton - 2008 - Palgrave-Macmillan.


Added to PP index

Total views
7 ( #961,176 of 2,326,149 )

Recent downloads (6 months)
2 ( #435,731 of 2,326,149 )

How can I increase my downloads?


My notes