1、Modal logic is the logic of necessity and possibility.
模態(tài)邏輯是關(guān)于必要性和可能性的邏輯。

2、It can contain classic quantified modal logic and it is flexible and tolerated.
具有較好的柔韌性和寬容度，它可以容納經(jīng)典謂詞邏輯。

3、Quantified modal logic based on free logic improves classic quantified modal logic.
以自由邏輯為基礎(chǔ)的模態(tài)謂詞邏輯是對經(jīng)典模態(tài)謂詞邏輯的改造。

4、We can do quite a lot with modal logic these days.
我們這幾天會講很多模態(tài)邏輯。

5、As soon as modal logic came into being, Quine questioned it.
模態(tài)邏輯一經(jīng)產(chǎn)生，就遭到奎因的質(zhì)疑。

6、the modal logic of necessity and possibility and contingency.
討論必要性可能性與偶然性的模態(tài)邏輯。

7、the modal logic of knowledge and uncertainty and ignorance.
討論知識,懷疑,與無知的模態(tài)邏輯。