单词necessitation
n.: 迫使;被迫网络: 强制性;行具强制性
迫使;被迫
There exists the similar relation between the necessitation and modal logic.
对必然化规则和模态逻辑系统来说有类似的结果。