generated at
クリプキ意味論
クリプキ構造を用いた意味論



Kripke-Joyal意味論
http://ziphil.com/file/mathematics/13.pdf


到達可能性関係
https://ja.wikipedia.org/wiki/クリプキ・モデル


http://konn.hatenablog.com/entry/20110830/1314710271