Temporal logic is a branch of Philosophical logic, which investigates the proposition and inference including time.

时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。

youdao

As is inherited from modal logic and another extension of mathematic logic, temporal logic assertion inference can solve such problems.

作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。

youdao