Tense Logic: A Study of Temporal Reference

Thumbnail Image

Files

TENSE_LOGIC_A_STUDY_OF_TEMPOR.pdf (6.92 MB)

Other Version

External File or Record

Can’t use the file because of accessibility barriers? Contact us

Date

1966

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

University of California, Los Angeles

Permanent Link

https://hdl.handle.net/2022/22350

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.

Series and Number:

EducationalLevel:

Is Based On:

Target Name:

Teaches:

Table of Contents

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

Rights

This work may be protected by copyright unless otherwise stated.

Type

Doctoral Dissertation

Collections

Nino Cocchiarella Collection