Reichenbach, Prior and hybrid tense logic (Q516424): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11229-015-0920-0 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2186007376 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completeness in hybrid type theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The computational complexity of hybrid temporal logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4406531 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modal logic with names / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Arthur Prior and hybrid logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5419876 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hybridizing concept languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hybrid languages and temporal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An approach to tense logic<sup>1</sup> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3732466 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Temporal logic. From ancient ideas to artificial intelligence / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5556395 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5791197 / rank | |||
Normal rank |
Latest revision as of 13:48, 13 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Reichenbach, Prior and hybrid tense logic |
scientific article |
Statements
Reichenbach, Prior and hybrid tense logic (English)
0 references
14 March 2017
0 references
The contributions to tense logic of Hans Reichenbach and Arthur Prior are commonly presented as rivals. \textit{A. Prior} said of Reichenbach's scheme [Past, present and future. Oxford: Clarendon Press (1967; Zbl 0169.29802)] that it is at once too simple (in that each tense has one reference point but there are examples which require two) and too complicated, in that he missed the generalisation that reference points should be iterable indefinitely. The present paper deploys what is known in the study of tenses as a hybrid logic to combine the work of Prior and of Reichenbach elegantly to provide a structure which should be of interest also to students of tense in natural languages.
0 references
Arthur Prior
0 references
Hans Reichenbach
0 references
point of reference
0 references
hybrid logic
0 references