一组时态逻辑的英文翻译
中文：一组时态逻辑
英文翻译：【计】 first-order temporal logic