可能世界
possible world
様相論理
の意味論の中心概念
論理式を解釈するための世界が複数ある
同じ論理力でも個々の世界で結果が異なることもある
例えば、プログラムのある状態
s
で成り立っていることも、
s'
では成り立っていない、とか
到達可能性関係
/mrsekut-book-4007305803/100