Handbook of Philosophical Logic - Gabbay, D.M (Springer, 2005)