Nominal tense logic

This paper considers the logical consequences of making Priorean tense logic referential by sorting its atomic symbols. A second sort of atomic symbol, the nominal, is introduced and these are constrained to be true at exactly one point in any model. The resulting gain in expressive power is examined, and a number of logics are axiomatized and shown to be decidable. The relevance of the extension to the semantics of natural language is briefly noted.