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