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.

翻译：本文介绍了基于标准线性时空逻辑(LTL)的一类社会网络模型的逻辑,利用现有模式检查器的力量来分析社交网络。 我们提供了简短的文献概览,然后定义了我们的逻辑及其分解性,提出了一些简单的模型和公式的激励性实例,并通过将其转换为建议性公式来显示其合理性和完整性。 最后,我们简要地讨论了模式检查和时间复杂性分析。