Abstract

Prior investigated a tense logic with an operator for ‘historical necessity’, where a proposition is necessary at a time iff it is true at that time in all worlds ‘accessible’ from that time. Axiomatisations of this logic all seem to require non-standard axioms or rules. The present paper presents an axiomatisation of a first-order version of Prior’s logic by using a predicate which enables any time to be picked out by an individual in the domain of interpretation