temporal logic

📖 中文释义

1. [计] 时序逻辑, 时态逻辑, 暂时逻辑