1·Here's another one: Modal Logic.
这是另一个，模态逻辑。
2·We can do quite a lot with modal logic these days.
我们这几天会讲很多模态逻辑。
3·Modal logic is the logic of necessity and possibility.
模态逻辑是关于必要性和可能性的逻辑。
4·As soon as modal logic came into being, Quine questioned it.
模态逻辑一经产生，就遭到奎因的质疑。
5·Proposes an agent intention theory based on nonstandard modal logic.
构造一种基于非常规模态逻辑的理论描述主体意图。
6·It can contain classic quantified modal logic and it is flexible and tolerated.
具有较好的柔韧性和宽容度，它可以容纳经典谓词逻辑。
7·Quantified modal logic based on free logic improves classic quantified modal logic.
以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。
8·Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
9·It relates to action logic, modal logic and other branches of logic, and makes a notable impact on them.
它涉及到行动逻辑与模态逻辑等逻辑分枝领域并对其产生重要影响。
10·When it comes to non binary logic, for example modal logic or probabilistic logic, humans often perform better.
当需要处理非二进制逻辑的时候，比方说 模态逻辑或者 机率逻辑，人会表现得更好。