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

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

youdao

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

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

youdao