Tense Logic: A Study of Temporal Reference
Loading...
Can’t use the file because of accessibility barriers? Contact us with the title of the item, permanent link, and specifics of your accommodation need.
Date
1966
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
University of California, Los Angeles
Permanent Link
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
Keywords
philosophy, religion and theology
Citation
Cocchiarella, N. "Tense Logic: A Study of Temporal Reference," Ph.D. Dissertation, UCLA (1966), Richard Montague, dissertation director.
Journal
DOI
Link(s) to data and video for this item
Relation
Rights
Type
Doctoral Dissertation