非正规模态系统

非正规模态系统是在一个模态系统中，如果“必然规则”（即若卜A，则卜口A，其中的口是“必然”）不成立，那么该系统为非正规模态系统。与“正规模态系统”相对。例如，模态命题逻辑系统Si、S2和S3都是非正规模态系统。正规世界是模态逻辑用语。在模态逻辑的可能世界语义模型中，如果一个世界w，满足白返性的要求，即有wiRw1成立，那么称wi为一个正规世界。在正规模态命题逻辑系统T、S4、B和Ss的可能世界语义模型中，每一个世界都是正规世界。