表題の通り、様相論理についての pdf を作成しました。
様相論理では、Kripke フレームの性質と公理との対応関係が知られています （たとえば、反射性と公理 T など）。 しかしながら、様相論理の論理式では特徴づけられない二項関係の性質も存在します。 この稿では、フレームの非反射性をとりあげ、非反射的フレームのクラスを定義する 様相論理の論理式が存在しないことを示しています。
こちらから pdf ファイルをダウンロードできます。
誤植や議論の間違いなどがありましたら、お手数ですが Home の「連絡先」からお伝えいただければと思います。