##  [Sahlqvist‑Korrespondenz](/de/node/60998) 

 Definition

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 Rahmenklasse liefert.

 

 

 

 

 

 





## Prinzip

Prinzip

Ausnutzung einer beschränkten syntaktischen Form—positive und negative Vorkommen in einem Sahlqvist‑Muster angeordnet—sodass Standardkorrespondenzverfahren (Entfaltung, Polaritätsanalyse und Eliminierung zweiter Ordnung) eine erstordnungsframe‑Bedingung liefern und die Kanonizität durch syntaktische Erhaltung unter kanonischen Erweiterungen sichern.

 

 

 

 

 





## Demonstration

Demonstration

Die modale Axiomformel □p → p ist eine einfache Sahlqvist‑Formel, deren Korrespondenz die erstordnungsbedingung der Reflexivität ist: jede Welt sieht sich selbst; komplexere Sahlqvist‑Schemata produzieren Rahmenbedingungen wie Transitivität oder Serialität und garantieren Vollständigkeit für die dadurch axiomatisierte Logik.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Darauf zu vertrauen, eine gegebene Axiomformel sei Sahlqvist, ohne das syntaktische Muster zu prüfen, oder zu erwarten, Sahlqvist‑Resultate würden Axiome außerhalb der Klasse abdecken (z. B. nicht‑Sahlqvist aber frame‑korrespondente Formeln), was zu falschen Behauptungen über Kanonizität oder einfache erstordnungsKorrelate führt.

 

 

 

 

 





## Konsequenz

Konsequenz

Ist anwendbar, liefert die Sahlqvist‑Korrespondenz effektive Algorithmen zur Berechnung von Rahmenbedingungen und stellt sicher, dass die Axiome kanonisch sind und die resultierende axiomatisierte Logik vollständig für die jeweilige Rahmenklasse ist; sie vereinfacht Korrespondenz‑ und Vollständigkeitsbeweise.

 

 

 

 

## Umkehrung

Umkehrung

Die Umkehrung ist die Feststellung, dass viele Rahmenbedingungen und Vollständigkeitsresultate jenseits der Sahlqvist‑Formeln existieren: Einige gültige Korrelate sind nicht Sahlqvist und erfordern algorithmische Korrespondenzmethoden (z. B. ALBA) oder semantische Argumente statt des direkten Sahlqvist‑Wegs.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Gilt für normale modale Sprachen, in denen das Sahlqvist‑syntaktische Muster Sinn macht; schließt nicht alle modal ausdrückbaren Rahmenbedingungen ein, und Erweiterungen (zusätzliche Modalitäten, Fixpunktoperatoren, Hybridelemente) erfordern angepasste syntaktische Kriterien oder separate Korrespondenztechniken.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Spannung besteht zwischen der syntaktischen Einfachheit und den starken Garantien der Sahlqvist‑Klasse und dem Wunsch nach größerer Anwendbarkeit: Algorithmische Korrespondenzmethoden gehen über Sahlqvist hinaus, aber auf Kosten komplexerer Transformationen und schwächerer einheitlicher Kanonizitätsgarantien.

 

 

 

 

 





## Synthese

Synthese

Die Sahlqvist‑Korrespondenz ist ein syntaktisches Kriterium, das sicherstellt, dass bestimmte modale Axiome effektive erstordnungsframe‑Korrelate besitzen und kanonische, vollständige Axiomatisierungen erzeugen; es bildet eine mächtige, einheitliche Brücke von modaler Syntax zur Framesemantik, deren Begrenzungen zu algorithmischen Verallgemeinerungen anregen.