And temporal logic can be extended.

• 可以扩展时态逻辑。