正規模態邏輯

正規世界(normal world)模態邏輯用語。在模態邏輯的可能世界語義模型中,如果一個世界w,滿足白返性的要求,即有wiRw1成立,那么稱wi為一個正規世界。在正規模態命題...