model logic
model logic是什么意思、model logic怎么读
【计】 模态逻辑
model logic汉语翻译
【计】 模态逻辑