Handbook of Philosophical Logic, 2nd Edition