K充足可能
クリプキ構造における
充足可能
論理式
$ A
が
K充足可能
であるとは、
あるのクリプキ構造
$ S
とその中のある世界
$ w
が存在して、
$ S,w\models A
となること
参考
『コンピュータサイエンスにおける様相論理』
p.20
定義自体は普遍的なものだろうけど「K恒真」という名称自体はこの本特有のものだろうか