Handbook of philosophical logic - Gabbay, Dov M., 1945-; Guenthner, Franz (Kluwer Academic Publishers, 2002)