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