shí tài luó jí · ㄕˊ ㄊㄞˋ ㄌㄨㄛˊ ㄐㄧˊ · 更新 2026-06-30 09:09:15
tense logic 非经典逻辑的分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。