2021/03/12 by Vitor Machado, Machado, Vitor, Mario Benevides +1
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Social and Information Networks (cs.SI) #cs.LO #cs.SI
paper · pdf · doi:10.48550/arxiv.2103.07392
19 pages, 2 figures, 5 algorithms
arxiv created 2021/03/12 · arxiv updated 2021/03/15
This paper introduces a logic with a class of social network models that is based on standard Linear Temporal Logic (LTL), 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 briefly discuss model checking and time complexity analysis.