Times in tense logic
type: Item
instance of: scholarly article
title: Times in tense logic
zbMATH Open document ID: 1197.03016
DOI: 10.1215/00294527-2009-007
author: Ulrich Meyer
published in: Notre Dame Journal of Formal Logic
publication date: 2009-11-18T00:00:00Z
review text: The author presents a way to get quantification over times in the context of elementary tense logics which have as tense operators only \(P\) and \(F\) within their primitive vocabulary. To reach this goal he shows that the usual semantics of temporal logic frames can, without loss of completeness, be reduced to the subclass of such frames which have maximally consistent sets of tense formulas as their elements. In this new context he introduces time-series as suitable subsets of his frames, represents the structure of time by them, and is able to define the earlier-than and later-than relations within these time-series. Also, time-series with continuum many time points become possible, however, depending in their structure also from the countable first-order language the tense logic is based upon. Even time operators like ``until'' and ``since'' become definable. This result does not contradict the older non-definability result of \textit{H. Kamp} [Tense logic and the theory of linear orders. Ph.D. Thesis, UCLA (1968)] because the models Kamp's proof had been based upon do not exist in the author's context.
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 5635611
zbMATH Keywords: tense logic
zbMATH Keywords: logic of time
zbMATH Keywords: maximally consistent sets
reviewed by: Siegfried J. Gottwald
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1215/00294527-2009-007
OpenAlex ID: W2077437900
Recommended article: Tense logic and time
Recommended article: Temporal reference in linear tense logic
Recommended article: `Now' and `then' in tense logic
Recommended article: Taking times out: tense logic as a theory of time
Recommended article: Q4342094
Recommended article: Q3320343
Recommended article: Q4342076
Recommended article: Tense and temporal semantics
Recommended article: Temporal prepositions and their logic
Recommended article: Q4532196
description: scientific article; zbMATH DE number 5635611