Title: Nominal tense logic