(资料图片仅供参考)

1、 正规世界（normal world）模态逻辑用语。

2、在模态逻辑的可能世界语义模型中，如果一个世界w，满足白返性的要求，即有wiRw1成立，那么称wi为一个正规世界。

3、在正规模态命题逻辑系统T、S4、B和Ss的可能世界语义模型中，每一个世界都是正规世界。

4、 。

文章到此就分享结束，希望对大家有所帮助。