La lógica modal se ocupa de la lógica de la posibilidad, así como de la necesidad.