“模态” [模态]

在形式逻辑中, 模态体现为模态算子, 将命题/类型对应到新的命题/类型.