**Textbook Title:** Logics of Time and Computation

**Textbook Description:**

This free etextbook outlines the basic theory of normal modal and temporal propositional logics, applies this theory to logics of discrete, dense, and continuous time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.

**Author:** Robert Goldblatt

**Subjects:** Mathematics, Computer Science

**Key words:** Mathematics, Computer Science, Logic

**Download URL:** http://sul-derivatives.stanford.edu/derivative?CSNID=00003782&mediaType=application/pdf