Pure_Logic_of_Necessitationの擬Kripkeモデル