様相論理の意味論の中心概念

論理式を解釈するための世界が複数ある

同じ論理力でも個々の世界で結果が異なることもある

例えば、プログラムのある状態 s で成り立っていることも、 s' では成り立っていない、とか