first-order dynamic logic
first-order dynamic logic是什么意思、first-order dynamic logic怎么读
【计】 一阶动态逻辑
first-order dynamic logic汉语翻译
【计】 一阶动态逻辑