廣義模態邏輯

廣義模態邏輯是“標準模態邏輯”與“非標準模態邏輯”（道義邏輯、認識論邏輯、時態邏輯等）的通稱。與“狹義模態邏輯”相對。狹義模態是指必然性、或然性、偶然性模態。與此相關的模態邏輯稱為狹義模態邏輯。美國劉易斯稱為標準模態邏輯，現代邏輯文獻中也稱為真值模態邏輯。

除狹義模態外，還有另外一些非標準模態，如關於應該、允許、禁止的道義模態；關於可信、知道、可疑的認識論模態；關於過去、現在、將來的時態模態。自劉易斯的標準模態邏輯出現後，不斷有新的非標準模態邏輯系統出現。