Sahlqvist論理式
全ての
Sahlqvist論理式
は
Kripke意味論におけるカノニカルモデル
を持つというのが
Sahlqvist対応定理
である.