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