first-order modal logic 📖 中文释义 [计] 一阶模态逻辑 ← first-order logic F 字母词表 first-order predicate calculus →