first-order modal logic

【计】 一阶模态逻辑
英汉词典
相关词语