クリプキ・モデル

クリプキ・モデル (Kripke Model) は クリプキ意味論 (Kripke) とも言われている。これはソール・A・クリプキが提唱し、状況に応じた真理値を持つ論理体系の論理式について与えられる意味論である。これは「可能世界」という概念で説明される。可能世界とは、例えば「ある小説の男性は魔法が使える」ということと、現実世界の「ある男性は魔法が使えない」ということを、「それらは世界が異なるので、それぞれの世界ではそれらが成り立つ」という方法で説明されている。

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

関連項目
可能世界論
様相論理

様相論理
意味論
哲学的論理学
モデル理論
非古典論理
層の理論