Stav dette: Logiques des mondes