Mögliche-Welten-Semantik

<=> Semantik, modelltheoretische

<=> Designat

<== Welt, mögliche

<=> Kontext

==> Pronomen

<=> Proposition

==> Referenz

<=> Semantik, linguistische

<== Modalität

==> Sprache, natürliche

==> Prädikat

<=> Intension - Extension

==> Abbildung

<== Modallogik

==> Modelltheorie

==> Wahrheitswert

<== Inferenzverfahren

<== Montague-Grammatik, M.-Semantik