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