Email Record: Temporal logics and their applications /