Sobre la base de la lógica modal establece el concepto de designador rígido capaz de designar un objeto determinado en cualquier mundo posible.