Tense logic axioms.pdf