Temporal Logic Yde Venema We give an introduction to the field of Temporal Logic. This report will form a Chapter of Blackwell's Guide to Philosophical Logic (to appear), edited by Lou Goble.