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.
@article{arxiv.2103.07392,
title = {Temporal Logic for Social Networks},
author = {Vitor Machado and Mario Benevides},
journal= {arXiv preprint arXiv:2103.07392},
year = {2021}
}