Handbok of the history of logic. Volume 7 / Logic and the modalities in the twentieth century - Gabbay, Dov M., 1945-; Woods, John (Elsevier, 2006)