tense logic

• 时态逻辑

tense logic的用法和样例：

例句

1. And temporal logic can be extended.
   可以扩展时态逻辑。
2. We can also extend the language of temporal logic to include quantifiers over collections of values in databases.
   我们还可以扩展时态逻辑的语言以包括数据库中值集合的量词。