Tense Logic: A Study of Temporal Reference

Loading...
Thumbnail Image
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

Journal Title

Journal ISSN

Volume Title

Publisher

University of California, Los Angeles

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