Hlavnímu proudu teorií požných světů, tzv. aktualismu, dominují v současnosti teorie, které definují možné světy jako množinově-teoretické objekty složené z propozicí.