tense logic
tense logic是什么意思、tense logic怎么读
【计】 时态逻辑
tense logic汉语翻译
【计】 时态逻辑