Title: Temporal logic