Temporal logic for social networks. (15th March 2022)

• Record Type: Journal Article
• Authors: Machado, Vitor; Benevides, Mario
• Is Part Of: Journal of logic and computation. Volume 32:Number 6(2022)
• Page Start: 1088
• Page End: 1108
• Publication Date: 2022-03-15
• Subjects: Logic programming -- Periodicals; Logic, Symbolic and mathematical -- Periodicals; Computational complexity -- Periodicals; 005.115
• DOI: 10.1093/logcom/exac023
• Languages: English
• ISSNs: 0955-792X

Abstract

Abstract: This paper introduces a logic with a class of social network models that is based on standard Linear Temporal Logic, which allows for leveraging the power of existing model checkers for the analysis of social networks. We provide a short literature overview, and then define our logic and its axiomatization, present some simple motivational examples of both models and formulas and show its soundness and completeness via a translation into propositional formulas. Lastly, we discuss model checking, time complexity analysis and a Susceptible–Infectious–Recovered model variation for infectious diseases.