Nominal tense logic and other sorted intensional frameworks | lit.salon