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

 
  • 对必然化规则和模态逻辑系统来说有类似的结果。
今日热词
目录 附录 查词历史