Reichenbach, Prior and hybrid tense logic

DOI10.1007/S11229-015-0920-0MaRDI QIDQ516424zbMATH OpenOpenAlexFDO

Authors Patrick Blackburn, Klaus Frovin Jørgensen

Publication date 14 March 2017

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-015-0920-0

zbMATH Keywords

Arthur PriorHans Reichenbachhybrid logicpoint of reference

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Temporal logic (03B44)

Review text

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.

Recommendations

• Tense and temporal reference hybrid temporal logic
• Prior and rennie on times and tenses
• Reichenbach, Prior and Montague: a semantic get-together
• Prior's tense-logical universalism
• Arthur Prior and `now'

Cites work

• An approach to tense logic¹
• Arthur Prior and hybrid logic
• Completeness in hybrid type theory
• scientific article; zbMATH DE number 3964877 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• scientific article; zbMATH DE number 3051937 (Why is no real title available?)
• Hybrid languages and temporal logic
• Hybridizing concept languages
• Indexical hybrid tense logic
• Modal logic with names
• Temporal logic. From ancient ideas to artificial intelligence
• The computational complexity of hybrid temporal logics

Cited in

(10)

• Reichenbach, Prior and Montague: a semantic get-together
• Prior and rennie on times and tenses
• Tense and temporal reference hybrid temporal logic
• Arthur Prior and `now'
• Where have all the Californian tense-logicians gone?
• Prior's tense-logical universalism
• Towards World Identification in Description Logics
• From \textit{counterfactual} conditionals to \textit{temporal} conditionals
• Specification of time in Tichý's transparent Intensional logic and Prior's temporal logic
• Arthur Prior and hybrid logic

This page was built for publication: Reichenbach, Prior and hybrid tense logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q516424)