?模型逻辑
...cIassificationof Terminologies)的新一代产品,是英国曼城斯特大学 开发的一个描述逻辑分类器,提供对模型逻辑(model logic)的可满足性测试,采用了客户端/服务器模式。 FaCT++采用FaCT的算法,二者均采用tableaux算 法。
?模态逻辑
关键词: 道义逻辑;模态逻辑;悖论;语义学 [gap=1112]Key words: moral logic; model logic; paradox;semantics
行动模型逻辑 ; 相对化公共知识
逻辑模型 ; 逻辑模式
一阶表达式
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。