向上线序相关硕士博士期刊学术论文

命题时态逻辑PTL是一个可广泛应用于人工智能的逻辑,其特点是只有表达未来的时态算子。它刻画了人工智能研究中往往只需要描述未来......