3つ組S=(W,R,V)のこと

W:

可能世界の集合

R:

RはW上の二項関係

R\sube W \times W

(w_1,w_2)\in Rである時、w_2はw_1から到達可能であるという

w_1Rw_2と書くこともある

V:

命題記号に対する真偽の割り当て

V: W\times\{P_0,P_1,P_2,\cdots\}\rarr \mathbb{B}であり、

世界w\in Wと命題記号Pに対して、V(w,P)\in\mathbb{B}が成り立つ

関数と捉えれば良い