Text this: On intuitionistic branching tense logic with weak induction