There exists the similar relation between the necessitation and modal logic.

• 对必然化规则和模态逻辑系统来说有类似的结果。