Designat

<=> Mögliche-Welten-Semantik

==> Referenz

==> Prädikat

<== Intension - Extension

==> Wahrheitswert