| 广义模态逻辑 generalized modal logic “标准模态逻辑”与“非标准模态逻辑”(义务逻辑、价值逻辑、认识逻辑、时态逻辑等)的通称。与“狭义模态逻辑”相对。狭义模态是指必然性、或然性、偶然性模态。与此相关的模态逻辑称为狭义模态逻辑。美国刘易斯称为标准模态逻辑，现代逻辑文献中也称为真值模态逻辑。除狭义模态外，还有另外一些非标准模态，如关于应该、允许、禁止的义务模态;关于优秀、良好、坏的价值模态;关于可信、知道、可疑的认识模态;关于过去、现在、将来的时态模态。自刘易斯的标准模态逻辑出现后，不断有新的非标准模态逻辑系统出现。 |