Modal logic is the logic of necessity and possibility.

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

youdao

When it comes to non binary logic, for example modal logic or probabilistic logic, humans often perform better.

当需要处理非二进制逻辑的时候，比方说 模态逻辑或者 机率逻辑，人会表现得更好。

youdao

Here's another one: Modal Logic.

这是另一个，模态逻辑。

youdao