Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the ...

The first of its kind, this book presents a widely accessible exposition of topos theory, aimed at the philosopher-logician as well as the mathematician.