Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States