模态深度-一流百科

模态深度

模态深度在模态逻辑中，一个公式的模态深度是模态运算符的最深嵌套（通常为).没有模态运算符的模态公式的模态深度为零。模态深度的定义模态深度可以被定义如...