Prior and rennie on times and tenses

One of Arthur Prior’s constructions of the relational calculus for times within tense logic plus propositional quantifiers is considered using Malcolm Rennie’s multimodal semantics and found wanting in two respects: Prior’s use of an independent necessity operator was both incorrect and unnecessary, and his system imported an objectionable metaphysics namely temporal relationism.When these defects are repaired it is shown that temporal relationism is not entailed by the modified system.Finally, there is considered the possibility of describing an inconsistent temporal structure in which distinct, classically incompatible conceptions of time can be unified within an inconsistent framework