Tense Logic: A Study of Temporal Reference

Loading...
Thumbnail Image
If you need an accessible version of this item, please email your request to iusw@iu.edu so that they may create one and provide it to you.

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.

DOI

Link(s) to data and video for this item

Relation

Rights

Type

Doctoral Dissertation