时态逻辑
规范用词
时态逻辑
英文翻译
temporal logic
所属学科
数学
>
数理逻辑数学基础
>
非经典逻辑
名词审定
数学名词审定委员会
见载刊物
《
数学名词
》 科学出版社
公布时间
1993年
非经典逻辑 的上级学科
数学
数理逻辑数学基础
时态逻辑 相关科技名词
多值逻辑
multivalue logic;many-valued logic;multiple-value logic
模态逻辑
modal logic
归纳逻辑
inductive logic
时态逻辑
temporal logic
组合逻辑
combinatory logic
范畴逻辑
categorical logic
概率逻辑
probability logic
拓扑逻辑
topological logic