非正規模態系統

非正規模態系統是在一個模態系統中，如果“必然規則”（即若卜A，則卜口A，其中的口是“必然”）不成立，那么該系統為非正規模態系統。與“正規模態系統”相對。例如，模態命題邏輯系統Si、S2和S3都是非正規模態系統。

正規世界是模態邏輯用語。在模態邏輯的可能世界語義模型中，如果一個世界w，滿足白返性的要求，即有wiRw1成立，那么稱wi為一個正規世界。在正規模態命題邏輯系統T、S4、B和Ss的可能世界語義模型中，每一個世界都是正規世界。