様相論理における非反射的フレームクラスの定義不可能性(外部記事)
https://nishimura-yuki-website.glitch.me/article-irreflexivity-and-ml.html
西村 祐輝
#非反射性は正規様相論理で定義出来ない