deterministic propositional dynamic logic

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