temporal logic

英 美
  • [计]时序逻辑;时态逻辑;暂时逻辑
  • logic n.逻辑;逻辑学;条理性;推理
  • temporal adj.现世的;暂时的;当时的;太阳穴的;颞的
    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.
      我们还可以扩展时态逻辑的语言以包括数据库中值集合的量词。