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