Sin embargo, no existe acuerdo sobre qué son los mundos posibles.
[3] Para Adams y Plantinga, entre otros, los mundos posibles son conjuntos maximales de proposiciones.
En tanto conjuntos, los mundos posibles de Adams y Platinga son entidades abstractas, platónicas.
[5] Desde entonces, su uso se ha extendido a otras partes de la lógica y la filosofía, por ejemplo para definir nociones como esencia o superveniencia.
Junto con la difusión de su uso, creció también el debate sobre qué son exactamente los mundos posibles.