Title: Nominal tense logic and other sorted intensional frameworks