Modelltheorie

==> Logik

<== Abduktion

<== Modallogik

==> Prädikatenlogik

<== Quantifikation

==> Skolemisierung

<== vollständig, Vollständigkeit

==> Rekursionstheorie, Theorie rekursiver Funktionen

==> Abbildung

<== Modell, stochastisches

==> Sprache, formale

<=> Ausdrucksvermögen, Ausdrucksstärke

<== Formel

==> Interpretation, semantische

==> Wahrheitsbedingungssemantik

<=> Semantik, modelltheoretische

<== Mögliche-Welten-Semantik

<== Semantik

<== Semantik, linguistische

<== Diskursrepräsentationstheorie