Handbook of Logic in Artificial Intelligence and Logic Programming: ...
Dov M. Gabbay & C. J. Hogger & J. A. Robinson & Antony I A. Galton