DFOL的全称：Distributed First Order Logics | 中文意思：───分布式一阶逻辑
DFOL的全称：Dynamic First Order Logic | 中文意思：───动态阶逻辑