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ù)的一致性多模式訪問(wèn)。
2024-06-02
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ù)的一致性多模式訪問(wèn)。