Two-sorted Metric Temporal Logics Two-sorted Metric Temporal Logics