Tense logic and time (Q791514): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1305/ndjfl/1093870515 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2035527172 / rank | |||
Normal rank |
Latest revision as of 01:35, 20 March 2024
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