クリプキ意味論
クリプキ構造を用いた意味論
Kripke-Joyal意味論
http://ziphil.com/file/mathematics/13.pdf
到達可能性関係
https://ja.wikipedia.org/wiki/クリプキ・モデル
http://konn.hatenablog.com/entry/20110830/1314710271