Sahlqvist対応定理
#TODO
参考文献
https://en.m.wikipedia.org/wiki/Sahlqvist_formula
https://arxiv.org/pdf/2206.05973.pdf
チラ見した感じだと
Sahlqvist論理式
の定義が3.3にのっている(ただし
線形時相論理
における)
https://www.dropbox.com/s/iqrbhq3qsxfe8v4/2021_advanced_logic_ver1.0.pdf?dl=0
大西琢朗; "様相論理、もう一歩先へ"
Apppednsix
イントロ
Henrik Sahlqvist
が証明したらしい?
Sahlqvistはカタカナ表記だと何かわからない,とりあえずおれは
サールクヴィスト
と読んでいる
Sahlqvist論理式
様相論理
の論理式のうち,次の論理式を
Sahlqvist論理式
という.
Sahlqvist対応定理
全ての
Sahlqvist論理式
は
Kripke意味論におけるカノニカルモデル
を持つ
Sahlqvist論理式
が規定する
Kripkeフレーム
の性質は1階述語論理で書き下すことが出来る?
この意味で
Sahlqvist論理式
は
公理図式
な気がする.