Keeping time in mind, there are two general kinds of temporal logic

• 请始终记住,有两种常规的时态逻辑