2026/05/03 by Jean-Baptiste Joinet, Carlos Olarte
Computer Science · #Balance (ability) #Binary relation #Characterization (materials science) #Collusion #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Modal #Multi-Agent Systems and Negotiation #Property (philosophy) #Sequent #Set (abstract data type)
paper · pdf · doi:10.4204/eptcs.449.10
openalex publication_date 2026/07/18 · openalex created_date 2026/07/24 · openalex updated_date 2026/08/01
We study quadrangular properties of binary relations on a set X -i.e., properties defined on configurations of four elements -- within an agonistic interpretation, where xRy is interpreted as x "attacks" y. Such relations induce a suitable notion of "protection," and we provide necessary and sufficient conditions for this notion to be consistent. We characterize the balance property in signed frames in terms of a specific quadrangular property, namely collusivity. In this way, we generalize a classical result in balance theory by offering an alternative method for determining whether a network is polarized. That is, one can identify well-formed groups of agents that agree with one another within the same group (a set of allies) while disagreeing with, or attacking, agents outside the group. Furthermore, we extend the balance theorem to non-symmetric relations, thereby relaxing a condition required in standard balance theory. We conclude by giving a modal characterization of collusive frames, together with corresponding rules in a labeled sequent calculus, and we show that previous modal characterizations of balance are derivable within this system.