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