クリプキ構造
Kripke structure
3つ組$ S=(W,R,V)のこと
$ W:
$ R:
$ Rは$ W上の二項関係
$ R\sube W \times W
$ (w_1,w_2)\in Rである時、$ w_2は$ w_1から到達可能であるという $ w_1Rw_2と書くこともある
$ V:
命題記号に対する真偽の割り当て
$ V: W\times\{P_0,P_1,P_2,\cdots\}\rarr \mathbb{B}であり、
世界$ w\in Wと命題記号$ Pに対して、$ V(w,P)\in\mathbb{B}が成り立つ
関数と捉えれば良いmrsekut.icon