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