Sahlqvist‑Korrespondenz

Eine syntaktische Methode in der modalen Logik, die eine breite Klasse modaler Formeln (Sahlqvist‑Formeln) identifiziert, welche garantierte erstordnungsframe-Korrelate und kanonische Vollständigkeit besitzen: Jede Sahlqvist‑Formel korrespondiert effektiv zu einer erstordnungsbedingung auf Rahmen und erzeugt ein kanonisches Axiom, dessen Hinzufügung Vollständigkeit für die entsprechende Rahmenklas