first-order dynamic logic 📖 中文释义 [计] 一阶动态逻辑 ← first-order differential equation F 字母词表 first-order equation →