##  [Endliche Modell-Eigenschaft](/de/node/60477) 

 Definition

Eine Eigenschaft einer formalen Logik oder Theorie, die besagt, dass jede erfüllbare Formel oder Aussage ein endliches Modell besitzt.

 

 

 

 

 

 





## Prinzip

Prinzip

Die Erfüllbarkeit wird auf endliche Strukturen beschränkt: Wenn eine Formel erfüllbar ist, dann bereits in einer endlichen Struktur; dies verbindet semantische Aussagen mit algorithmischer Überprüfbarkeit durch Suche in endlichen Domänen.

 

 

 

 

 





## Demonstration

Demonstration

Viele modale Logiken haben diese Eigenschaft, weil durch Filtration aus jeder erfüllbaren Formel ein endliches Kripke-Modell konstruiert werden kann; konkret besitzt jede erfüllbare modale Formel ein endliches Rahmenmodell, das sie validiert.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Zu glauben, die Endliche Modell-Eigenschaft impliziere allgemein Vollständigkeit oder Entscheidbarkeit — die FMP erleichtert Entscheidbarkeit in vielen Fällen, garantiert sie aber nicht ohne effektive Axiomatisierung oder Aufzählbarkeit.

 

 

 

 

 





## Konsequenz

Konsequenz

Ist die FMP vorhanden und die Sprache/AXIome sind effektiv aufzählbar, so folgt oft die Entscheidbarkeit durch systematische Suche nach endlichen Modellen; die FMP beschränkt die möglichen Gegenmodelle auf einen endlichen Suchraum.

 

 

 

 

## Umkehrung

Umkehrung

Die Umkehrung ist die Eigenschaft unendlicher Modelle: Es gibt erfüllbare Formeln, die nur unendliche Modelle besitzen, also keine endliche Struktur sie realisiert.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Gilt für Logiken oder Theorien und deren erfüllbare Aussagen; sie hängt von der Signatur und den erlaubten Modellen (z. B. relationale vs. funktionale Signatur) ab und ist keine Aussage über einzelne endliche Strukturen oder das Zählen von Modellen bis zu bestimmter Größe.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Es besteht eine Spannung zwischen endlicher Erfüllbarkeit (Existenz endlicher Modelle) und allgemeiner Erfüllbarkeit (Existenz beliebiger Modelle); eine Logik kann erfüllbar sein, ohne FMP zu besitzen, wenn Erfüllung unendliche Konstruktionen erfordert.

 

 

 

 

 





## Synthese

Synthese

Die Endliche Modell-Eigenschaft besagt, dass Erfüllbarkeit immer durch endliche Strukturen bezeugt werden kann; sie strukturiert semantische Suchverfahren und vermittelt zwischen abstrakter Erfüllbarkeit und effektiver Entscheidbarkeit, indem sie Gegenmodelle auf endliche Bereiche einschränkt.