クリプキ・モデル
クリプキ意味論は、可能世界の集合とそれらの関係で定義される。