K同値 - mrsekut-p

K同値

論理式$ A,BがK同値であるとは、

任意のクリプキ構造$ Sとその中の任意の世界$ wについて、

$ S,w\models A\iff S,w\models Bとなること

参考

『コンピュータサイエンスにおける様相論理』 p.20

定義自体は普遍的なものだろうけど「K恒真」という名称自体はこの本特有のものだろうか