Kripkeフレームやモデルに関する操作