Temporal logics for abstract semantics