更新时间：2023-09-24 11:54
广义模态逻辑是“标准模态逻辑”与“非标准模态逻辑”（道义逻辑、认识论逻辑、时态逻辑等）的通称。与“狭义模态逻辑”相对。狭义模态是指必然性、或然性、偶然性模态。与此相关的模态逻辑称为狭义模态逻辑。美国刘易斯称为标准模态逻辑，现代逻辑文献中也称为真值模态逻辑。
除狭义模态外，还有另外一些非标准模态，如关于应该、允许、禁止的道义模态；关于可信、知道、可疑的认识论模态；关于过去、现在、将来的时态模态。自刘易斯的标准模态逻辑出现后，不断有新的非标准模态逻辑系统出现。