美[tɛns ˈlɑdʒɪk]英[tens ˈlɔdʒik]
[计] 时态逻辑
Semantics of Lattice-Valued Tense Propositional Logic System
格值 时态命题 逻辑LTP（X）的语义问题
A New Method of Fuzzy Inference in Tense Logic
具有 时态 词的模糊 推理的一种新方法
The tense - decompose of the dynamic multi-valued logic function
动态多值 逻辑函数的 时态分解
美[tɛns ˈlɑdʒɪk]英[tens ˈlɔdʒik]
[计] 时态逻辑