Tense logic : a study of temporal reference
Nino B. Cocchiarella · IUScholarWorks (Indiana University) · 1966
This work is concerned with the logical analysis of topological or non-metrical temporal reference. The specific problem with which it successfully deals is a precise formalization of (first-order) quantificational tense logic wherein both an appropriate formal semantics is developed and a meta-mathematically consistent and complete axiomatization for that semantics given.