你
请解释一下「时态逻辑」这个词的含义。
助手
时态逻辑
shí tài luó jí · ㄕˊ ㄊㄞˋ ㄌㄨㄛˊ ㄐㄧˊ
shi tai luo ji
stlj
ㄕ ㄊㄞ ㄌㄨㄛ ㄐㄧ
2026-08-17 20:07:57
扩展释义
tense logic 非经典逻辑的分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。
请解释一下「时态逻辑」这个词的含义。
tense logic 非经典逻辑的分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。