Handbook of philosophical logic. - Gabbay, Dov M., 1945-; Guenthner, F., 1946- (Synthese Library (D. Reidel Publishing Company) ;, 1983)