1) alethic logic
真势模态逻辑
1.
Because the standardized logic which rose in 1950s is based on analogy alethic logic disjointed the legal norms and moral norms seriously, which made all kinds of systems of standardized logic built on it come across dilemmas.
20世纪50年代兴起的规范逻辑,是在类比真势模态逻辑的基础上产生的,由于其与法律规范及道德规范领域的实际规范严重脱节,使得在此基础上构建的各种规范逻辑系统均遇到了各种难题。
2) alethic modal logic
真值模态逻辑
1.
Anderson holds that deontic logic can be reduced to alethic modal logic by the reduction formula Op(口(~p?S).
安德森认为依靠归约公式Op □ (～p→S)能把道义逻辑归约为真值模态逻辑。
3) modal logic
模态逻辑
1.
Three types of fuzzy modal logics about K;
关于K的三种模糊模态逻辑
2.
According to the real meaning of applying epistemic or modal logic to theoretical study on agent or multi-agent system,through detailed and strict analysis of the two basic premises upon which scholars draw their assertion of logical omniscience problem,it was argued clearly that neither of their two premises can stand.
从模态逻辑用于agent和多agent系统研究的实际意义出发,通过对一些学者得出逻辑全知结论所依据的两个基本前提进行仔细分析和严格逻辑论证后发现,逻辑全知论断是不能成立的。
3.
In order to introduce the quantitatively analytical method into security protocol analysis, a protocol measurement method based on modal logic was defined.
为将量化分析方法引入安全协议分析中 ,以模态逻辑方法为基础定义了协议度量方法 ,并形式化地给出度量协议内容对协议安全目标满足度的参数和方法 ,同时在此基础上 ,进一步地给出了对安全协议冗余进行度量及化简的方法 。
4) cognitive truth-value modal logic
认知真值模态逻辑
5) simulation of fuzzy logic
模糊逻辑仿真
6) logical simulation
逻辑仿真<模拟>
补充资料：真态
1.本色;天然风致。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条