Handbook of Philosophical Logic - Gabbay, Dov M., 1945-; Guenthner, Franz (Synthese library ;, 1983)