Modal logic is the logic of necessity and possibility.
模态逻辑是关于必要性和可能性的逻辑。
We can do quite a lot with modal logic these days.
我们这几天会讲很多模态逻辑。
Provides consistent, multi-modal access to services.
提供对服务的一致性多模式访问。
