认识逻辑的英文

• epistemic logic

• "认识"英文翻译    be familiar with; be aware o ...
• "逻辑"英文翻译    logic
• "自动认识逻辑" 英文翻译 :    autoepistemic logic
• "逻辑认识" 英文翻译 :    logical knowledge
• "认识" 英文翻译 :    1.(认得; 相识) be familiar with; be aware of; know; understand; comprehend; recognize 认识某人 know sb.; 认识和改造客观世界 know and change [transform] the objective world; 认识自己的错误 see one's mistake; realize one's mistake; 我不认识他。 i don't know him.2.[哲学] (头脑对客观世界的反映) understanding; knowledge; cognition 感性认识 perceptual knowledge; 理性认识 rational knowledge; 认识的客观规律 the objective laws of cognition; 认识的深化运动 the deepening movement of cognition; 认识来源于实践。 knowledge originates in practice.; 认识根源 cognitive root; 认识过程 process of cognition; 认识功能 recognizing ability; 认识科学 cognitive science; 认识论 theory of knowledge; epistemology; 认识能力 cognitive ability; 认识社会 knowledge of social environment; 认识水平 level of understanding; 认识系统 recognition system; 认识自然 knowledge of natural environment
• "认识(认识)能力" 英文翻译 :    ability of cognizance
• "逻辑" 英文翻译 :    logic 有学问而且合逻辑地辩论 argue with learning and logic; 逻辑上的错误 an error in logic; 数理逻辑 mathematical logic; 合乎逻辑 logical; 按照这种逻辑 according to that kind of reasoning; 这是什么逻辑 ? what sort of logic is that?; 逻辑包含 logical inclusion; 逻辑比较 logic comparison; logical comparison; 逻辑变换 logical conversion; 逻辑变量 logic variable; 逻辑 (型)变量 logical variable; 逻辑变项 [数学] logical variable; 逻辑表 logical table; 逻辑表达式 logical expression; 逻辑差 logical difference; 逻辑常数 logical constant; 逻辑程序 logical program; 逻辑错误 logical error; 逻辑代数 logic algebra; boolean algebra; algebra of logic; 逻辑单元 logical block; logic unit; 逻辑电路 logic circuit; logical circuit; 逻辑段 logical segment; 逻辑范畴 logical categories; 逻辑方法 logical method; 逻辑方阵 logical square; 逻辑分析 logic analysis; 逻辑分析法 analysis; 逻辑符号 logic symbol; logical symbol; 逻辑赋值语句 logical assignment statement; 逻辑关系 logical relation; 逻辑规格 logical specification; 逻辑规律 logical laws; 逻辑规则 logic rules; 逻辑函数 logical function; 逻辑恒量 logical constant; 逻辑机 logical machine; 逻辑级 logic level; 逻辑计算机 logical computer; 逻辑记录 [自动化] logical record; 逻辑解释 logical interpretation; 逻辑经验论 [哲学] logical empiricism; 逻辑经验论者 logical empiricist; 逻辑矩阵 logic matrix; 逻辑卡片 logic card; 逻辑连接 logical link; 逻辑连接词 logical connective; 逻辑连接符 [数学] logical connectives; logical connector; 逻辑连结 logical connection; 逻辑矛盾 logical contradiction; 逻辑曲线 [统计学] logistic curve; 逻辑设备表 logical unit table; 逻辑设计 [自动化] logic design; logical design; 逻辑实证论 [哲学] logical positivism; 逻辑实证论者 logical positivist; 逻辑实证主义 logical positivism; 逻辑史 history of logic; 逻辑数学 logical mathematics; 逻辑思维 logical thinking; 逻辑特征 logical implication; disjunction; 逻辑条件语句 logical if statement; 逻辑图 [自动化] logic diagram; logical chart; 逻辑推演 logical deduction by reasoning; 逻辑网络 logical net (work); 逻辑文件 logical file; 逻辑项 logical term; 逻辑型 logical type; 逻辑形l grammar; 逻辑原子论 [哲学] logical atomism; 逻辑运算 logical calculus; logical operation; 逻辑障碍[心] paralogia; 逻辑哲学 philosphy of logic; 逻辑正确 logically true; 逻辑证明 logical proof; 逻辑值 logic value; logical value; 逻辑制表 logic tab; 逻辑重音 logical accent; 逻辑主义 logicism; logicistic; 逻辑主语 [语言学] logical subject
• "不认识" 英文翻译 :    incognizanceincognizant; unknown
• "和……认识" 英文翻译 :    be acquainted with
• "结识，认识" 英文翻译 :    kennenlernen + a
• "了解，认识" 英文翻译 :    perception
• "论认识" 英文翻译 :    on knowing
• "认识, 结识" 英文翻译 :    pick up with
• "认识,结识" 英文翻译 :    get to know
• "认识，明知" 英文翻译 :    scientia
• "认识到" 英文翻译 :    awareness; have cognizance of; take cognizance of; wake to; wake up to
• "认识的" 英文翻译 :    cognitional; cognitive; epistemic; gnostic; recognizant
• "认识地" 英文翻译 :    epistemically
• "认识力" 英文翻译 :    cognition
• "认识了" 英文翻译 :    get to know
• "认识路" 英文翻译 :    find one’s way around
• "认识论" 英文翻译 :    epistemological; epistemology; the theory of knowledge; theory of knowledge
• "认识你" 英文翻译 :    chinese woman talented; death knows your name
• "认识学" 英文翻译 :    epistemology
• "使认识" 英文翻译 :    acquaint sb. with

• Epistemic logic : on the decidability of epistemic logic
  关于认识逻辑的可判定性
• 3 halpern j , zuck l . a little knowledge goes a long way : simple knowledge based derivations and correctness proofs for a family of protocols . journal of the acm , 1992 , 39 : 449 - 478
  并且他们只是用认识逻辑描述协议的规范,但没有给出相应的算法,即给出一个具体的协议，如何自动生成公理集并自动验证他满足一些认知规范

• 认识逻辑的法语：Logique épistémique
• 认识逻辑的韩语：인식 논리
• 认识逻辑的俄语：Эпистемическая логика