generated at
クリプキモデル
可能世界論
様相論理
クリプキ・モデル - Wikipedia