正規世界

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

基本介紹

• 中文名：正規世界
• 外文名：normal world
• 來源：模態邏輯用語

非正規世界是模態邏輯用語。在模態邏輯的可能世界語義模型中，以下兩種世界稱為非正規世界：(1)對任何公式A而言，口A（口是“必然”）在該世界中都為假，即在該世界中一切命題都不是必然的。由於模態邏輯系統中有}_口A一一◇一A，其中的-1、◇分別是“否定”和“可能”，所以，(1)也意味著：對任何公式A而言，◇A在該世界中都為真，即在該世界中一切命題都是可能的，因而這種類型的非正規世界也稱為可能型世界。(2)對任何公式A而言，口A和◇A在該世界中可真、亦可假（口A、◇A像命題變元），這種類型的非正規世界也稱為任意型世界。