Temporal logic is a formalism used to describe how a program state will change with time.

• 时态逻辑是用于描述程序状态如何随时间而更改的形式体系。