Handbook of Philosophical Logic - Gabbay, D.M; Guenthner, F. (Springer Netherlands, 2005)