Axioms for Real-Time Logics