Die aktuale Welt und zwei mögliche Weltverläufe

Es gibt die aktuale Welt @ und zwei mögliche Welten:
  1. Fall: Die aktuale Welt @ ist genau so, dass Max den Zug verpasst (weil er 10 Minuten zu spät aufsteht).
  2. Fall:  Die mögliche Welt \(w_{1}\) ist genau so, dass Max den Zug erreicht,  wenn er 10 Minuten fürher aufsteht.
  3. Fall: Die mögliche Welt \(w_{2}\) ist genau so, dass Max den Zug nicht erreicht, wenn er 10 Minuten früher aufsteht.
Der Satz X wird in der aktualen Welt @ von Moriz geäußert, nachdem Max den Zug verpasst hat.