"Logic and the Modalities in the Twentieth Century"

Dov M. Gabbay, John Woods (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics