Aspectos de la lógica modal - Makinson, David (Notas de logica matematica, 1971)