クリプキフレーム
Kripkeフレーム_
Kripke frame_
2つ組$ S=(W,R)のこと
$ W:
可能世界の集合
$ R:
到達可能性関係
http://iso.2022.jp/math/stone-coalgebras.pdf
余代数としてのクリプキフレーム