Semantik, modelltheoretische

<=> Wahrheitsbedingungssemantik

<== Abgeschlossenheitsannahme

<=> Mögliche-Welten-Semantik

==> Wahrheitsbedingung

==> Kontext

==> Referenz

<== Semantik

<=> Semantik, linguistische

<== Diskursrepräsentationstheorie

==> Sprache, natürliche

<== Computerlinguistik

<== Sprachverstehen, maschinelles

<== Ausdrucksvermögen, Ausdrucksstärke

==> Intension - Extension

<== Wissen und Wissensrepräsentation

<=> Modelltheorie

==> Wahrheitswert

<== Montague-Grammatik, M.-Semantik