Phd Thesis On Tense Logic