The Logic of Homophily Dynamics in Heterogeneous Networks: Axiomatization, Model Checking and Validity Checking

Xiling Luo ()
Additional contact information
Xiling Luo: School of Philosophy, Renmin University of China, Beijing 100872, China

Mathematics, 2023, vol. 11, issue 16, 1-19

Abstract: Social networks have received considerable attention from the modal logic community. In this article, we study and characterize one of the most important principles in the field of social networks. Homophily, which means similarity breeds association, reveals the nature of social organization. In order to be able to express similarity and association together, we generalize the basic network and then define the heterogeneous network. The heterogeneous network is also defined to provide a good foundation for the use of logical approaches. The Logic of Homophily L H G , M that we propose in this article is based on Computation Tree Logic and Formal Concept Analysis. L H G , M describes the homophily dynamics of the heterogeneous networks at a specified similarity coefficient. Furthermore, we not only axiomatize the L H G , M and prove that the axiom system LH G , M n is sound and complete, but we also prove that the model checking and the validity checking for L H G , M are both PSPACE-complete.

Keywords: homophily; computation tree logic; implication between attributes; axiom system; model checking; validity checking (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2023
References: View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
https://www.mdpi.com/2227-7390/11/16/3484/pdf (application/pdf)
https://www.mdpi.com/2227-7390/11/16/3484/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:11:y:2023:i:16:p:3484-:d:1215563

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().