1.
There are five steps to analyses the protocol: ① Idealize the protocol in the language of the formal logic.
BAN逻辑分析分为5个步骤:①协议理想化。
2.
BASED ON BAN LOGIC ANALYSIS OTWAY-REES PROCOTOL;
基于BAN逻辑分析Otway-Rees协议
3.
logical consistency
逻辑兼容，逻辑一致性
4.
the quality of being consistent with or based on logic.
基于逻辑或与逻辑相符。
5.
logic of understanding and logic of reason
知性逻辑与理性逻辑
6.
objective logic and subjective logic
客观逻辑与主观逻辑
7.
logical OR-AND-OR
逻辑“或－与－或”
8.
Of, relating to, in accordance with, or of the nature of logic.
逻辑的逻辑的、与逻辑有关的、符合逻辑的或具有逻辑性的
9.
Legal logic uses not only the knowledge of formal logic, but the knowledge of dialectical logic, language logic an debate logic, etc.
法律逻辑不仅运用形式逻辑的知识,还运用辩证逻辑的知识,以及语言逻辑,论辩逻辑等逻辑知识。
10.
Language Logic or Philosophy Logic --Appreciation of Aristotle s Logic;
语言逻辑还是哲学逻辑——为亚里士多德逻辑正名
11.
Multi-possibility Logic and Aesthetic Logic: --On the Logical Base of Aesthetic Cognition;
多值逻辑与审美逻辑——论审美认知的逻辑基础
12.
From Objective Logic to Subjective Logic--Husserl's Way of Logic
从客观逻辑到主观逻辑——胡塞尔的逻辑学之路
13.
logically unrelated packet
逻辑无关包 -网络
14.
To perform the operation of negation.
实现逻辑“非”运算。
15.
logic link layer
逻辑链路层 -网络
16.
(in logic) a self-contradiction.
（逻辑学）自相矛盾。
17.
dilemma reasoning
二难推理 -逻辑学
18.
relating to logical induction.
（有关）逻辑归纳法。