========重要信息========== 可以在以下位置找到新版本：http://countingfluents.weebly.com 此页面将很快更新 ======== ====================== Counting Fluent Linear-Time Temporal Logic (CFLTL) 是 Fluent Linear-Time Temporal Logic 的扩展，它补充了 fluent 的概念计数流利的相关概念。 与 fluents（逻辑命题）的二元性质相反，计算 fluents 是数值，它枚举事件的发生，并允许自然地指定React系统的一些属性，例如有界活性和其他属性，其中的数量某些事件的发生是相关的。 CFLTL 是流畅的线性时间逻辑的不可判定的，严格来说更具表现力的扩展。 尽管可以使用一种健全（但不完整）的逻辑模型检查方法。
