Modal logic is the logic of necessity and possibility.

　　模態(tài)邏輯是關(guān)于必要性和可能性的邏輯。

　　We can do quite a lot with modal logic these days.

　　我們這幾天會(huì)講很多模態(tài)邏輯。

　　Provides consistent, multi-modal access to services.

　　提供對(duì)服務(wù)的一致性多模式訪問。