Rewards
网页
图片
视频
学术
词典
地图
更多
航班
我的必应
笔记本
modal logic
美
英
un.
模态逻辑
网络
情态逻辑;模型逻辑;模太逻辑
英汉
英英
网络释义
un.
1.
模态逻辑
n.
1.
the
branch
of
logic
that
studies
the
relations
between
modal
propositions
1.
模态逻辑
而
模态逻辑
(
modal logic
)作为研究博弈论的知识论基础的标准工具,它与证明论有着本质上的联系。几乎所有的博弈都可以看作 …
article.chinalawinfo.com
|
基于152个网页
2.
情态逻辑
转载 NLP术语中英对照表M Z - 豆丁网 ... modal auxiliary 情态助动词
modal logic
情态逻辑
modifier 修饰语 ...
www.docin.com
|
基于47个网页
3.
模型逻辑
无可奈何花落去,似曾相识燕归来 ... Predicate Logic( 谓词逻辑)
Modal Logic
(
模型逻辑
) Empiricism( 经验主义)-- …
mcs.szu.edu.cn
|
基于9个网页
4.
模太逻辑
Logic )、「谓词逻辑」(Predicate Logic )、「
模太逻辑
」(
Modal Logic
)等 等。
my.opera.com
|
基于9个网页
5.
模式逻辑
...1964)探讨过可能性及必然性,并把这些概念整合於
模式逻辑
(
modal logic
)系统内;这种逻辑建基於命题演算系统(propositiona…
terms.naer.edu.tw
|
基于 1 个网页
6.
逻辑和模态逻辑
另外一个重 要的发现是描述
逻辑和模态逻辑
(
Modal Logic
)有着密切的联系。第三个阶段 从 1995 年到 2000 年。
wenku.baidu.com
|
基于 1 个网页
7.
世界语义学
第6周. 10月22日:关于"可能"和"必然", 可能
世界语义学
(
Modal logic
)第7周. 10月29日:关于"知道"和"相信" (Epistemic logic) …
fenrong.net
|
基于 1 个网页
更多释义
收起释义
例句
释义:
全部
全部
,
模态逻辑
模态逻辑
,
情态逻辑
情态逻辑
,
模型逻辑
模型逻辑
,
模太逻辑
模太逻辑
类别:
全部
全部
,
口语
口语
,
书面语
书面语
,
标题
标题
,
技术
技术
来源:
全部
全部
,
字典
字典
,
网络
网络
难度:
全部
全部
,
简单
简单
,
中等
中等
,
难
难
更多例句筛选
收起例句筛选
1.
In
this
article
,
the author writes in
different
ways
to analyze the
investigation
logic
from
the
theory
of
possible
world
and
modal
logic
.
可能
世界
语义学
从
形式
结构
方面
研究
这
一
理论
,
但
它
又
不
只是
哲学
逻辑
的
惟一
语义
。
www.fabiao.net
2.
There
exists
the
similar
relation between the necessitation
and
modal
logic
.
对
必然
化
规则
和
模
态
逻辑
系统
来说
有
类似
的
结果
。
www.sinoss.net
3.
It
also
has many
merits
that
weak
bisimulation
does
not
have
,
e.
g.
,
algebraic
characterization
and
modal
logic
characterization
.
它
还
拥有
弱
互模拟
没有
的
优点
,
如
代数
刻画
和
模态
逻辑
刻画
。
www.boshuo.net
4.
Barcan
formulas
play
an
important
role
in
constructing
semantics
of
quantified
modal
logic
.
在
模
态
谓词
逻辑
语义学
构建
的
过程
中
,
巴坎
公式
扮演
着
重要
的
角色
。
lib.cqvip.com
5.
Historical
development
of
modal
logic
passed
the syntactic
period
,
the
classic
period
,
and
the
modern
period
.
模
态
逻辑
的
历史
发展
经历
了
语
形
时期
、
经典
时期
和
现代
时期
;
dictsearch.appspot.com
6.
It
relates to
action
logic
,
modal
logic
and
other
branches
of
logic
,
and
makes
a
notable
impact
on
them
.
它
涉及到
行动
逻辑
与
模
态
逻辑
等
逻辑
分
枝
领域
并
对
其
产生
重要
影响
。
www.fabiao.net
7.
The
modal
logic
S5
,
viewed
as
a
theory
in S4
,
is
a
model
of
monadic
Boolean
algebras
in the
same
way that S4
is
a
model
of
interior
algebra
.
模
态
逻辑
S5
,
被
看作
S4
中
一个
理论
,
是
一
元
布尔
代数
的
模型
,
如同
模
态
逻辑
S4
是
内部
代数
的
模型
。
dictsearch.appspot.com
8.
Modal
logic
is
the
logic
of
necessity
and
possibility
.
模
态
逻辑
是
关于
必要性
和
可能性
的
逻辑
。
open.163.com
9.
Monadic
Boolean
algebras
also
have
an
important
connection
to
modal
logic
.
一
元
布尔
代数
还
与
模
态
逻辑
有
重要
联系
。
dictsearch.appspot.com
10.
Quantified
modal
logic
based
on
free
logic
improves
classic
quantified modal
logic
.
以
自由
逻辑
为
基础
的
模
态
谓词
逻辑
是
对
经典
模
态
谓词
逻辑
的
改造
。
lib.cqvip.com
1
2
3