La extensión de la lógica modal allende sus fronteras tradicionales para convertirla en una teoría general de la modalidad es, sin duda, uno de los desarrollos filosóficamente más importantes de la lógica, después de la segunda guerra mundial. Si el presente trabajo ha de tener algún merito, lo tiene como obra de avanzada en este campo de estudios.