时态逻辑的意思

问：时态逻辑是成语吗更多

答：（时态逻辑）不是成语

词语读音：shí tài luó ji

词语简拼：STLJ

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