We can also extend the language of temporal logic to include quantifiers over collections of values in databases.

• 我们还可以扩展时态逻辑的语言以包括数据库中值集合的量词。