一阶模态逻辑翻译的英文

汉语拼音：

【拼音】 yī jiē mó tài luó jí

英语翻译：

【计】 first-order modal logic

分词翻译：

一阶的英语翻译：

模态逻辑的英语翻译：