- 1. MODAL LOGIC: 模态逻辑
模态是指事物或者认识的必然性和可能性等性质,模态逻辑(modal logic)是研究模态推理形式及其规律的逻辑,是自动推理研究领域中最具影响力的逻辑之一,它能够精确地描述在推理情况不确定的条件下,可能世...
dict.youdao.com - 2. MODAL LOGIC: 情态逻辑
... modal frequency模态频率;众数频率 modal logic模态逻辑;情态逻辑 modal verb情态动词 ...
dict.youdao.com - 3. MODAL LOGIC: 模态论理
... propositional logic 命题论理 modal logic 模态论理 traditional logic 传统论理学 ...
dict.youdao.com - 4. MODAL LOGIC: 模态
a.推断(deductive),如例(8),大致相当于模态 逻辑(modal logic)的“必然”。说话者认为话语所表达的命题Q(明天下雨)的可能性非常大,远大于相反的命题~Q(明天不下雨)的可能性。
dict.youdao.com - 5. basic modal logic: 基本模态逻辑
dict.youdao.com - 6. Handbook of Modal Logic: 模态逻辑手册
dict.youdao.com - 7. Advanced Modal Logic: 高级模态逻辑
dict.youdao.com - 8. Advanced Modal Logic: 高等模态逻辑
dict.youdao.com - 9. modal logic D: 模态逻辑D系统
dict.youdao.com - 10. first-order modal logic: 一阶模态逻辑
dict.youdao.com