Text this: Multi-Fidelity Temporal Reasoning: A Stratified Logic for Cross-Scale System Specifications