模态逻辑是关于必要性和可能性的逻辑。

Modal logic is the logic of necessity and possibility.

youdao

应用系统可能包含协调者的角色，在某种程度上它变得越来越不清晰，为什么协议的必要性要远大于业务逻辑本身？

the application may subsume the role of the coordinator at which point it becomes less and less clear why the protocol is needed at all above and beyond the business logic itself.

youdao

主要从逻辑依据、理论依据和现实依据等方面论述经济公益诉讼制度存在的必要性和可行性。

The author demonstrates the reasons for the individual existence of the public economic interest litigation from the logic basis, the theory basis and the real basic.

youdao