first-order dynamic logic

英 美
  • [计]一阶动态逻辑
  • dynamic adj.动力的;动态的;有活力的;【音】力度变化的n.动力;动力学
  • first adj.第一的;最初的adv.首先;第一n.最初;(序数词)第一
  • logic n.逻辑;逻辑学;条理性;推理
  • order n.顺序;条理;订单;命令;秩序;阶层;[生]目;点的东西v.命令;定购;调整;整理;点餐;预定,订货