社交网络的时态逻辑
Temporal Logic for Social Networks
摘要：
本文介绍了一种基于标准线性时态逻辑（LTL）的具有一类社会网络模型的逻辑，利用现有模型检查器的功能来分析社交网络。我们提供了一个简短的文献综述，然后定义我们的逻辑和公理化，提出了一些简单的动机的例子，模型和公式，并通过翻译成命题公式，显示其合理性和完整性。最后，我们简要讨论了模型检验和时间复杂度分析。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
