La semántica de mundos posibles es una herramienta para el análisis de una colección importante de expresiones: modales, temporales, doxásticas, epistémicas, deónticas, entre otras.