Here's another one: Modal Logic.
这是另一个，模态逻辑。
We can do quite a lot with modal logic these days.
我们这几天会讲很多模态逻辑。
Modal logic is the logic of necessity and possibility.
模态逻辑是关于必要性和可能性的逻辑。
As soon as modal logic came into being, Quine questioned it.
模态逻辑一经产生，就遭到奎因的质疑。
It can contain classic quantified modal logic and it is flexible and tolerated.
具有较好的柔韧性和宽容度，它可以容纳经典谓词逻辑。
It can contain classic quantified modal logic and it is flexible and tolerated.
具有较好的柔韧性和宽容度，它可以容纳经典谓词逻辑。
应用推荐