Category talk:Temporal logic