A chapter from the second edition of the Handbook of Philosophical Logic (ed. Dov Gabbay, Kluwer 1997)