modal logic造句

1、Modal logic is the logic of necessity and possibility.
模态逻辑是关于必要性和可能性的逻辑。

2、It can contain classic quantified modal logic and it is flexible and tolerated.
具有较好的柔韧性和宽容度，它可以容纳经典谓词逻辑。

3、Quantified modal logic based on free logic improves classic quantified modal logic.
以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。

4、We can do quite a lot with modal logic these days.
我们这几天会讲很多模态逻辑。

5、As soon as modal logic came into being, Quine questioned it.
模态逻辑一经产生，就遭到奎因的质疑。

6、the modal logic of necessity and possibility and contingency.
讨论必要性可能性与偶然性的模态逻辑。

7、the modal logic of knowledge and uncertainty and ignorance.
讨论知识,怀疑,与无知的模态逻辑。