  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.
