Wang Y. N., & Dong H. (2024). Stability and Balance in Weighted Networks. Luojixue Yanjiu = Studies in Logic, 17(4), 35–53. http://hdl.handle.net/20.500.12708/205809
many-signed network; structural balance theory; computation tree logic
en
Abstract:
The classical theory of structural balance provides an extensive study of 2-signed networks. Morrissette (1958) expanded this framework to encompass many-signed networks and applies it to empirical fields. Recent advancements in structural balance theory have incorporated temporal logic, specifically Computation Tree Logic (CTL). However, these studies have been limited to 2-signed networks. Our research extends this temporal approach to many-signed networks. We introduce formal languages and semantics tailored to this expanded framework, analyze the expressive power of the resulting logics, and develop axiomatizations for them.
