zbMATH — the first resource for mathematics

Reichenbach, Prior and hybrid tense logic. (English) Zbl 1367.03012
The contributions to tense logic of Hans Reichenbach and Arthur Prior are commonly presented as rivals. 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.
03A05 Philosophical and critical aspects of logic and foundations
03-03 History of mathematical logic and foundations
01A60 History of mathematics in the 20th century
03B44 Temporal logic
Full Text: DOI
[1] Allen, R. L. (1966). The verb system of present-day American English (Vol. 24). The Hague: Mouton.
[2] Areces, C. (2000). Logic engineering: The case of description and hybrid logics. PhD thesis, University of Amsterdam.
[3] Areces, C; Blackburn, P; Huertas, A; Manzano, M, Completeness in hybrid type theory, Journal of Philosophical Logic, 43, 209-238, (2014) · Zbl 1338.03031
[4] Areces, C; Blackburn, P; Marx, M, The computational complexity of hybrid temporal logics, Logic Journal of IGPL, 8, 653-679, (2000) · Zbl 0959.03011
[5] Baader, F., Calvanese, D., McGuinness, D., Nardi, D., & Patel-Schneider, P. (Eds.). (2003). The description logic handbook: Theory, implementation, and applications. Cambridge: Cambridge University Press. · Zbl 1058.68107
[6] Binnick, R. I. (1991). Time and the verb: A guide to tense and aspect. Oxford: Oxford University Press.
[7] Blackburn, P. (1990). Nominal tense logic and other sorted intensional frameworks. PhD thesis, Centre for Cognitive Science, University of Edinburgh. · Zbl 0793.03012
[8] Blackburn, P, Tense, temporal reference and tense logic, Journal of Semantics, 11, 83-101, (1994)
[9] Blackburn, P, Arthur prior and hybrid logic, Synthese, 150, 329-372, (2006) · Zbl 1108.03001
[10] Blackburn, P. & Jørgensen, K. F. (2012). Indexical hybrid tense logic. In: T. Bolander, T. Bräuner, S. Ghilardi & L. Moss (Eds.), Advances in modal logic (Vol. 9, pp. 144-160). · Zbl 1296.03012
[11] Blackburn, P., & Jørgensen, K. F. (2013). Contextual validity in hybrid logic. In P. Brezillon & P. Blackburn (Eds.), Modeling using context (Vol. 8177, pp. 185-198). Lecture notes in computer science Berlin: Springer.
[12] Blackburn, P., & Jørgensen, K. F. (2015). Arthur Prior and ‘Now’, Synthese, this volume.
[13] Blackburn, P; Tzakova, M, Hybridizing concept languages, Annals of Mathematics and Artificial Intelligence, 24, 23-49, (1998) · Zbl 0919.03016
[14] Blackburn, P; Tzakova, M, Hybrid languages and temporal logic, Logic Journal of IGPL, 7, 27-54, (1999) · Zbl 0920.03029
[15] Bull, R, An approach to tense logic, Theoria, 36, 282-300, (1970) · Zbl 0227.02012
[16] Comrie, B. (1981). On Reichenbach’s approach to tense. In: Papers from the seventeenth regional meeting. Chicago Linguistic Society Chicago, Ill (pp. 24-30). · Zbl 0959.03011
[17] Comrie, B. (1985). Tense. Cambridge: Cambridge University Press.
[18] Gargov, G; Goranko, V, Modal logic with names, Journal of Philosophical Logic, 22, 607-636, (1993) · Zbl 0793.03012
[19] Giorgi, A., & Pianesi, F. (1997). Tense and aspect: From semantics to morphosyntax. Oxford: Oxford University Press.
[20] Jespersen, O. (1965). The philosophy of grammar. Chicago: University of Chicago Press.
[21] Kamp, H; Portner, P (ed.); Partee, BH (ed.), Formal semantics-the essential readings, 189-222, (1981), Oxford
[22] Kamp, H., & Reyle, U. (1993). From discourse to logic: Introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory. Berlin: Springer.
[23] Kamp, H; Rohrer, C; Baeuerle, R (ed.); Schwarze, C (ed.); Stechow, A (ed.), Tense in texts, 250-269, (1983), Berlin
[24] Montague, R. (1973). The proper treatment of quantification in ordinary English. In J. Hintikka, J. Moravcsik & P. Suppes (eds), Approaches to natural language, Reidel (pp. 221-242). Reprinted in Thomason (1974).
[25] Øhrstrøm, P., & Hasle, P. F. (1995). Temporal logic: From ancient ideas to artificial intelligence (Vol. 57). Heidelberg: Springer Science & Business Media. · Zbl 0855.03003
[26] Partee, BH, Nominal and temporal anaphora, Linguistics and Philosophy, 7, 243-286, (1984)
[27] Prior, A. (1967). Past, present and future. Oxford: Oxford University Press. · Zbl 0169.29802
[28] Prior, A. (1968/2003). Papers on time and tense, new edition, Oxford University Press. Originally published in 1968. Special edition edited by Hasle, Øhrstrøm, Braüner, and Copeland published in 2003
[29] Reichenbach, H. (1947). Elements of symbolic logic. New York: Free Press. · Zbl 0034.00301
[30] Thomason, R. (Ed.). (1974). Formal philosophy: Selected papers by Richard Montague. Yale: Yale University Press.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.