Citation:Cocchiarella, N. "Tense Logic: A Study of Temporal Reference," Ph.D. Dissertation, UCLA (1966), Richard Montague, dissertation director.
Type:Doctoral Dissertation
Abstract:
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.
Description:
Thesis (Ph.D.) - University of California - Los Angeles, Department of Philosophy, 1966
