Temporal Logic

This deals with concepts of time and ordering.