时态逻辑

shí tài luó jí · ㄕˊ ㄊㄞˋ ㄌㄨㄛˊ ㄐㄧˊ

修撰于 2026-07-01 02:24:43

拼音shí tài luó jí
字母shi tai luo ji
首字母stlj
注音ㄕˊ ㄊㄞˋ ㄌㄨㄛˊ ㄐㄧˊ
注音符号ㄕ ㄊㄞ ㄌㄨㄛ ㄐㄧ

广

tense logic 非经典逻辑的分支学科。其研究对象是,把含有时态动词的语句形式化,并且把含有这种语句的推理系统化。