Kripke構造
W: 有限集合
元が可能世界(possible world)
R: W上の
2項関係
到達可能関係(accessibility relation)
からなるK=(W, R)を
Kripke構造
という