• 1. first-order modal logic: 一阶模态逻辑
• 2. first order modal logic D: 一阶模态D逻辑
• 3. first order modal logic: 一阶模态逻辑

• 1.Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
  讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
  dict.yoduao.com

©2026 网易公司