Towards Interpretable Concept Learning over Time Series via Temporal Logic Semantics