Tense logic and time (Q791514)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Tense logic and time
scientific article

    Statements

    Tense logic and time (English)
    0 references
    1984
    0 references
    This is a survey of recent developments in the logical study of time. The traditional approach in this area employs temporal orders of mathematical points. A systematic logical view is presented of suitable choices for such structures and their governing axioms, both elementary and higher- order. Next, the more recent interval models for time are introduced, in the same manner. Then, the two types of structure turn out to be mathematical duals, in the categorial sense. Various transfer theorems illustrate the back-and-forth mechanism. The resulting combined perspective becomes crucial in applications. Examples are presented concerning Russell's general philosophy of time and Kamp's discourse semantics for temporal constructions in natural language.
    0 references
    tense logic
    0 references
    categorical duality
    0 references
    temporal orders
    0 references
    interval models for time
    0 references
    philosophy of time
    0 references
    discourse semantics for temporal constructions in natural language
    0 references

    Identifiers