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