propositional dynamic logic

英 美
  • 命题动态逻辑
  • dynamic adj.动力的;动态的;有活力的;【音】力度变化的n.动力;动力学
  • logic n.逻辑;逻辑学;条理性;推理
  • propositional adj.命题的