一、事实上，在他的批评之后，模态逻辑也发展出了可与非模态语句逻辑的真值表语义学相媲美的形式语义学。二、模态逻辑作为一种非古典逻辑是与古典逻辑不同类型的逻辑。三、基于哥德尔模式的模态逻辑系统T，本文提