Handbook of philosophical logic - Gabbay, Dov M.; Guenthner, Franz (D. Reidel Publishing Company, 1983)