Session details: Temporal Logics