Model theory for tense logics