first-order-logic

本文分析了情境演算中一阶进展的规模复杂性和可判定性，表明对于局部效应、正规和无环动作，进展呈多项式增长，并保持在可判定片段内，例如二变量一阶逻辑。