Welt, mögliche

==> Mögliche-Welten-Semantik

==> Kontext

<== Proposition

==> Wahrheitswert