Logic and Commonsense-Guided Temporal Knowledge Graph Completion