[数]?模态逻辑
模态是指事物或者认识的必然性和可能性等性质,模态逻辑(modal logic)是研究模态推理形式及其规律的逻辑,是自动推理研究领域中最具影响力的逻辑之一,它能够精确地描述在推理情况不确定的条件下,可能世...
?情态逻辑
... modal frequency模态频率;众数频率 modal logic模态逻辑;情态逻辑 modal verb情态动词 ...
?模态论理
... propositional logic 命题论理 modal logic 模态论理 traditional logic 传统论理学 ...
?模态
a.推断(deductive),如例(8),大致相当于模态 逻辑(modal logic)的“必然”。说话者认为话语所表达的命题Q(明天下雨)的可能性非常大,远大于相反的命题~Q(明天不下雨)的可能性。
基本模态逻辑
模态逻辑手册
高级模态逻辑 ; 高等模态逻辑
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。