Possible Worlds (SEP)
plato.stanford.edu