Tense, Verbal Aspect, Aktionsart, and Related Areas
Tense Logic
©Robert I. Binnick, 2002-6
Allwood, Jens, Lars-Gunnar Andersson, and Östen Dahl. 1977. Logic in
Linguistics. Cambridge: Cambridge
University Press.
Alquen, Richard D’. 1997. "Grammatical Tense
and Tense Logic." International journal for
Germanic linguistics and semiotic analysis 2:1.33-58.
Åqvist, Lennart. 1976. "Formal Semantics For Verb Tenses as Analyzed by
Reichenbach." Teun Van Dijk (ed.), Pragmatics of Language and
Literature. Amsterdam: North-Holland,
229-36.
_____. 1978. "Analysis of Action Sentences Based on a ‘tree’ System of
Modal Tense Logic." Christian Rohrer (ed.), Papers on Tense, Aspect and
Verb Classification. Tübingen: Narr Verlag,
111-61.
_____. 1979. "A System of Chronological Tense Logic." F. Guenther
and S. J. Schmidt (eds.), Formal Semantics and Pragmatics For Natural
Languages. Dordrecht: Reidel, 223-54.
Åqvist, Lennart and Franz Guenther. 1978. "Fundamentals of a Theory of
Verb Aspect and Events Within the Setting of an Improved Tense-Logic."
Franz Guenther and Christian Rohrer (eds.), Studies in Formal Semantics:
Intensionality, Temporality, Negation.
Amsterdam: North-Holland, 167-99. Ms., 1976.
Åqvist, Lennart and Franz Guenther, and Christian Rohrer. 1977. "'Soon'
and 'recently'." Christian Rohrer (ed.), On the Logical Analysis of
Tense and Aspect. Tübingen: Narr, 67-81.
Arsenijevic, Milos. 2002. "Determinism,
Indeterminism and the Flow of Time." Erkenntnis 56.23-150.
Ballweg, Joachim. 1989. "Preterite, (present-)perfect and Future."
Werner Abraham and T. Janssen (eds.), Tempus—Aspekt—Modus: die Lexicalischen
und Grammatischen Formen in den Germanischen Sprachen. Tübingen: Niemeyer, 85-101.
_____. 1996. "Eine Dynamische Zeitlogik für das Deutsche." [A
Dynamic Tense Logic For German.] Gisela Harras and Manfred Bierwisch (eds.), Wenn
die Semantik Arbeitet: Klaus Baumgartner zum 65. Geburtstag. Tübingen: Niemeyer, 217-36.
Barense, Diane D. 1980. Tense Structure and Reference: a First-Order
Non-Modal Analysis. Bloomington: Indiana
University Linguistics Club.
Bäuerle, Rainer. 1979. "Tense Logics and Natural Language." Synthese 40.225-30.
Bennett, Michael. 1977. "A Guide To the Logic of Tense and Aspect in
English." Logique et Analyse
80.491-517. Reprinted, 1978, in L. Åqvist and F. Guenther, Tense
Logic (Louvain: Neuwelaerts), 136-63.
Bennett, Michael and Barbara Partee. 1978. Toward the Logic of Tense and
Aspect in English. Bloomington: Indiana
University Linguistics Club. Revised and extended version of 1972 System
Development Corporation (Santa Monica, California) report.
Blackburn, Patrick. 1990. "Nominal Tense Logic." Research paper,
Centre for Cognitive Science, University of Edinburgh.
_____. 1990a."Nominal Tense Logic and Other Sorted Intensional
Frameworks." PhD dissertation, University of Edinburgh.
_____. 1994. "Tense, Temporal Reference, and Tense Logic." Journal
of Semantics 11.83-101.
Brugger, G. and M. D’angelo. 1994. "Aspect and Tense At Lf: the Italian
Present Perfect." Ms., University of Vienna/University of Venice
Burgess, J. 1982. "Axioms For Tense Logics Ii: Time Periods." Notre
Dame Journal of Formal Logic 23.375-83.
_____. 1984. "Basic Tense Logic." D. Gabbay and F. Guenther
(eds.), Handbook of Philosophical Logic.
Dordrecht: Reidel, 89-133.
Burghardt, Wolfgang. 1978. "Tense Logic." Janos S. Petöfi (ed.), Logic
and the Formal Theory of Natural Language.
Hamburg: Buske, 252-71.
Butterfield, Jeremy and Colin Stirling. 1987. "Predicate Modifiers in
Tense Logic." Logique et Analyse 30
(117-18).31-50.
Clifford, John E. 1975. Tense and Tense Logic. the Hague: Mouton.
Cocchiarella, Nino. 1966. "Modality Within Tense Logic." Journal
of Symbolic Logic 31.690f.
_____. 1966a."Tense Logic: a Study of Temporal Reference." Ph.D.
Dissertation, UCLA.
_____. 1974. "La Semantica della Logica del Tempo." [The Semantics
of Tense Logic.] C. Pizzi (ed.), La Logica del Tempo. Turin: Boringhieri Press, 318-47. "IItalian
translation of the third chapter of the...Ph. D. Thesis [1966]."
Cresswell, M. J. 1973. Logics and Languages. London: Methuen.
D’alquen, Richard. 1997. Time, Mood and Aspect in German Tense. Frankfurt/Main: Peter Lang.
Dowty, David R. 1972. Studies in the Logic of Verb Aspect and Time
Reference in English. Austin: University of
Texas, Department of Linguistics.
_____. 1977. "Toward a Semantic Analysis of Verb Aspect and the English
‘imperfective’ Progressive." Linguistics and Philosophy 1.45-78.
_____. 1982. "Tenses, Time Adverbs, and Compositional Semantic
Theory." Linguistics and Philosophy
5.23-55. Presented, 1980, at the 4th Annual Groningen Conference.
Evans, Gareth. 1985. "Does Tense Logic Rest Upon a Mistake?"
Gareth Evans (ed.), Collected Papers (evans). Oxford: Clarendon Press, 343-63.
Findlay, J. N. 1941. "Time: a Treatment of Some Puzzles." Australasian
Journal of Philosophy 19. Often reprinted,
e.g., in Gale (1968), 143-62.
Gabbay, D. and F. Guenther. 1982. "A Note on Many-Dimensional Tense
Logics." Philosophical Essays Dedicated To Lennart Åqvist on His
Fiftieth Birthday, 63-70.
Gabbay, Dov. 1976. Investigations in Modal and Tense Logics with
Applications To Problems in Philosophy and Linguistics. Dordrecht: D. Reidel.
_____. 1992. "Temporal Logic: Tense or Nontense?." Richard
Spencer-Smith and Steve Torrance (eds.), Machinations: Computational Studies
of Logic, Language, and Cognition. Norwood,
New Jersey: Ablex, 1-30.
Gabbay, Dov and Christian Rohrer. 1978. "Relative Tenses: the
Interpretation of Tense Forms Which Occur in the Scope of Temporal Adverbs or
in Embedded Sentences." Christian Rohrer (ed.), Papers on Tense, Aspect
and Verb Classification. Tübingen: Narr
Verlag, 99-110.
Galton, A. 1987. "Temporal Logic and Computer Science: an Overview."
Anthony Galton (ed.), Temporal Logics and Their Applications. London: Academic Press, 1-52.
Giorgi, Alessandra and Fabio Pianesi. 2001. "Tense,
Attitudes and Subjects." Proceedings from Semantics and Linguistic
Theory 11.212-230.
Goranko, Valentin. 1996. "Hierarchies of Modal and Temporal Logics with
Reference Pointers." Journal of Logic, Language and Information 5.1-24.
Guenther, Franz. 1977. "Remarks on the Present Perfect in
English." Christian Rohrer (ed.), On the Logical Analysis of Tense and
Aspect. Tübingen: Narr, 83-98.
_____. 1979. "Time Schemes, Tense Logic, and the Analysis of English
Tenses." F. Guenther and S. J. Schmidt (eds.), Formal Semantics and
Pragmatics For Natural Languages.
Dordrecht: Reidel, 201-22.
Guenther, Franz, J. Hoepelman, and C. Rohrer. 1978. "A Note on the
Passé Simple." Christian Rohrer (ed.), Papers on Tense, Aspect and Verb
Classification. Tübingen: Narr Verlag,
11-36.
Halpin, John F. 1988. "Indeterminism, Indeterminateness, and Tense
Logic." Journal of Philosophical Logic
17.207-19. Dissertation abstract. [?]
Herweg, Michael. 1991. "A Critical Account of Two Classic Approaches To
Aspect." Journal of Semantics
8.363-402.
Hinrichs, Erhard W. 1988. "Tense, Quantifiers, and Contexts." Computational
Linguistics 14.3-14.
Hoepelman, Jaap Ph. 1974. "Tense-Logic and the Semantics of Russian
Aspects." Theoretical Linguistics
1.158-80.
Humberstone, I. L. 1979. "Interval Semantics For Tense Logic: Some
Remarks." Journal of Philosophical Logic 8.171-96.
Kamp, H. 1975. "Reference and Quantification in Tense and Modal
Logic." S. J. Schmidt (ed.), Pragmatik II. Munich: Finck, 150-97.
Kamp, Hans. 1968. "Tense Logic and the Theory of Linear Order."
PhD dissertation, University of California at los Angeles.
Keller, Peter. 1980. "Über Untersuchungen zum Verhaltnis von Grammatik
und Zeitlogik." [On Investigations Into the Relations Between Grammar and
the Logic of Time.] Deutsche Zeitschrift für Philosophie 12.1487-96.
Kim, Yeon Woong. 1991. Logische Perspektiven zur Intensionalen
Zeitsemantik im Deutschen. Bochum:
Brockmeyer.
Kuhn, Steven. 1979. "The Pragmatics of Tense." Synthese 40.231-63.
_____. 1989. "Tense and Time." D. Gabbay and F. Guenther (eds.), Handbook
of Philosophical Logic. Dordrecht: Reidel,
513-52.
Kusanagi, Yutaka. 1979. "Tense Logic and Natural Language, [part]
I." Keiryo Kokugo Gakkai 12.22-33.
Followed by “Tense Logic and Natural Language, II” (1979).
_____. 1979a."Tense Logic and Natural Language, [part] II." Keiryo
Kokugo Gakkai 12.73-85. Follows “Tense
Logic and Natural Language, I” (1979).
Macarthur, J. 1971. Tense Logic.
Dordrecht: Reidel.
McArthur, Robert P. 1976. Tense Logic.
Dordrecht: D. Reidel.
McCawley, James. 1981. Everything Linguists Have Always Wanted To Know About
Logic: *but Were Ashamed To Ask. Chicago:
University of Chicago Press.
McCoard, Robert W. 1978. The English Perfect: Tense-Choice and Pragmatic
Inferences. Amsterdam: North-Holland. Based
on 1976 UCLA PhD dissertation, Tense Choice and Pragmatic Oppositions: a Study
of Preterit/Perfect Oppositions in English.
Montague, Richard. 1974. Formal Philosophy: Selected Papers of Richard
Montague. New Haven: Yale University Press.
Edited by Richmond H. Thomason.
Nakayasu, Minako. 1987. "A Tense-Logical Approach To Semantics of
Perfect." Presented at the 40th Meeting of the English Literary Society of
Japan, Chubu, at Sugiyama Jogakuen University, Oct. 3, 1987.
_____. 1988. "Tense-Logical Analysis of Perfect." Bulletin of
Chubu English Language Education Society
17.161-66. Presented at the17th Meeting of Chubu English Language Education
Society, at Wakayama University, June 27, 1987.
Needham, Paul. 1975. Temporal Perspective: a Logical Analysis of Temporal
Reference in English. Uppsala:
Philosophical Society and the Department of Philosophy, Uppsala University.
Doctoral dissertation
Nerbonne, John. 1982. "The German Perfect." Proceedings of the
...th Regional Meeting, Chicago Linguistic Society 18.390-99.
_____. 1984. German Temporal Semantics: Three-Dimensional Tense Logic and
a Gpsg Fragment. Columbus, Ohio: Department
of Linguistics, Ohio State University. Ohio State University PhD dissertation.
Published 1985 by Garland, New York.
_____. 1986. "Reference Time and Time in Narration." Linguistics
and Philosophy 9.83-95. Based on paper
presented 1982 at the Sloan Foundation Conference on Tense and Aspect in
Discourse, Ohio State University.
Nishimura, Hirokazu. 1979. "Is the Semantics of Branching Structures
Adequate For Chronological Modal Logics?" Journal of Philosophical
Logic 8.469-75.
Oaklander, L. N. 1994. "The New Tenseless Theory of Time: a Reply To
Smith." L. N. Oaklander and Q. Smith (eds.), The New Theory of Time. New Haven, Connecticut: Yale University Press,
77-82. Originally in Philosophical Studies 58.287-92 (1990).
Ohrstrom, Peter and Per F. V. Hasle. 1991. "Medieval Logic and Natural
Language Understanding." Charles Grant Brown and Gregers Koch (eds.), Iii
Natural Language Understanding and Logic Programming. Amsterdam: Elsevier, 75-90.
Onuma, Kiyoshi. 1982. "Doitsugo Ni Okeru Sotai Jisei Ronrigaku Ni Yoru
Imi Kijutsu." [Semantic Descriptions of German Relative Tenses by Means of
Temporal Logic.] Keiryo Kokugo Gakkai
13.165-77.
Partee, Barbara, Sharon Sabsay, John Soper and Wm. Badecker. 1978. Bibliography:
Logic and Language. Bloomington: Indiana
University Linguistics Club.
Price, Marjorie S. 1988. "On a Paradox of Mereological Change." Philosophical
Studies 54.109-24.
Prior, Arthur. 1957. Time and Modality.
Oxford: Clarendon Press.
_____. 1967. Past Present and Future.
Oxford: Oxford University Press.
_____. 1968. "The Logic of Tenses." A. N. Prior (ed.), Papers
on Time and Tense. Oxford: Oxford
University Press, 638-40.
Reichenbach, Hans. 1947. Elements of Symbolic Logic. New York City/london: Collier-Macmillan/macmillan.
Rescher, Nicholas and Alasdair Urquhart. 1971. Temporal Logic. Vienna: Springer-Verlag.
Richard, Mark. 1981. "Tense,propositions, and Meanings." Philosophical
Studies 41.337-51.
Richards, Barry and Inge Bethke. 1987. "The Temporal Logic Iq."
John Oberlander (ed.), Temporal Reference and Quantification: an Iq
Perspective. Edinburgh: Centre For
Cognitive Science, University of Edinburgh.
Rohrer, Christian. 1977. "Beschreibung Einiger Spanischer
Verbalperiphrasen im Rahmen eines Zeitlogischen Systems." [Description of
Some Spanish Periphrases Within a System of Temporal Logic.] Christian Rohrer
(ed.), On the Logical Analysis of Tense and Aspect. Tübingen: Narr, 99-129.
Röper, P. 1980. "Intervals and Tenses." Journal of
Philosophical Logic 9.451-69.
Seligman, J., and A. ter Meulen. 1993. "Dynamic Aspect Trees." Proceedings
of the 4th Symposium on Logic and Language, Budapest, 5-9 August 1993. Budapest.
Steedman, Mark. 2001. "The Productions of Time: Causality in Natural
Language Tense and Aspect." Presented at Temporality and Discourse Context:
Dynamic and Modal Approaches, Dundee, Scotland, July 2001. Cf. Ms., 1998.
Thomason, R. 1972. "Semantic Analysis of Tense Logic." Journal
of Symbolic Logic 37.150-58.
Todorov, Cristo. 1968. "Logique et Temps Narratif." [Logic and
Narrative Time.] Information Sur les Sciences Sociales 7.41-49.
Van Bentham, J. 1984. "Tense, Logic, and Time." Notre
Dame Journal of Philosophical Logic
25.1-16.
Van Bentham, J. F. A. K. 1977. "Tense Logic, Second-Order Logic and
Natural Language." Proceedings of the Tübingen Workshop on Formal
Semantics.
Van Bentham, Johan F. A. K. 1977. "Tense Logic and Standard
Logic." Logique et Analyse
80.395-437.
_____. 1985. A Manual of Intensional Logic. Stanford: Center For the Study of Language and Information. 2nd, rev.
ed., 1988.
Verkuyl, H. J. and J. A. le Loux-Schuringa. 1985. "Once Upon a
Tense." Linguistics and Philosophy
8.237-61.
Vlach, Frank. 1977. "Now and Then: a Formal Study in the Logic of Tense
Anaphora." PhD dissertation, University of California at los Angeles.
Woisetschlaeger, Erich F. 1977. A Semantic Theory of the English
Auxiliary System. Bloomington: Indiana
Linguistics Club. PhD dissertation, Massachusetts Institute of Technology.