动态拓扑逻辑(𝒟𝒯ℒ) 是一个用于动力系统推理的多模态系统。它是语义上定义的，因此，该领域的大多数工作都是模型理论。特别是，为𝒟𝒯ℒ 在所有动力系统的类别中，都被证明是相当难以捉摸的。

在这里，我们建议丰富该语言，以包括一个多段拓扑形式，最初由Dawar和Otto在不同的上下文中引入。然后，我们为𝒟𝒯ℒ 并证明它是完整的。在我们的证明中，多元情态是一种基本的使用方式。