Project on the Bibliography of

Tense, Verbal Aspect, Aktionsart, and Related Areas

 


Logic

©Robert I. Binnick, 2002


Back to bibliography page

Back to main index

Allen, J. and P. Hayes. 1989. "Moments and points in an interval-based temporal logic." Computational Intelligence 5.225-38.

Allen, James F. and George Ferguson. 1994. "Actions and events in interval temporal logic." Journal of Logic and Computation 4.532-79.

Allwood, Jens, Lars-Gunnar Andersson, and Östen Dahl. 1977. Logic in Linguistics. Cambridge: Cambridge University Press.

Altham, J. 1971. The Logic of Plurality. London: Methuen.

Andreescu, Gabriel. 1985. "Polysemy by Syntactic Iteration within Temporal Language." Revue Roumaine de Linguistique 30.19-23.

Å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.

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.

Bartsch, Renate. 1981. "Semantics and Syntax of Nominalizations." Jeroen A. G. Groenendijk, Theo M. V. Janssen, and Martin Stokhof (eds.), Formal methods in the Study of Language, Part I. Amsterdam: Mathematisch Centrum, University of Amsterdam, 1-28.

Bäuerle, Rainer. 1979. "Tense Logics and Natural Language." Synthese 40.225-30.

Bennett, Brandon and Anthony P. Galton. 2000. "A Unifying Semantics for Time and Events." Ms.

_____. 2001. "A Versatile Representation for Time and Events." Ms.

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.

Bickel, Balthasar. 1997. "Aspectual Scope and the Difference Between Logical and Semantic Representation." Lingua 102.115-32.

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

Brugger, Gerhard and Mario D'Angelo. 1995. "Movement at LF Triggered by Mood and Tense." Folia Linguistica 29.195-221.

Burgess, J. 1979. "Logic and time." Journal of Symbolic Logic 44.566-852.

_____. 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.

Caenepeel, Mimo and Marc Moens. 1994. "Temporal Structure and Discourse Structure." Co Vet and Carl Vetters (eds.), Tense and Aspect in Discourse. Berlin: Mouton de Gruyter, 5-20.

Clifford, John E. 1975. Tense and Tense Logic. (Janua Linguarum, series minor, 215.)The Hague: Mouton.

Cohen, David. 1971. "On the Linguistic Representation of Presuppositions." University of Texas at Austin PhD dissertation

Cooper, William S. 1978. Foundations of Logico-Linguistics. (Synthese Language Library.)Dordrecht: D. Reidel.

Coseriu, E. 1976. "Logique du langage et logique de la grammaire." [The logic of language and the logic of grammar.] J. David and R. Martin (eds.), Modèles logiques et niveaux d’analyse linguistique. Paris, 15-33.

Cresswell, M. J. 1973. Logics and Languages. London: Methuen.

D’Alquen, Richard. 1997. Time, Mood and Aspect in German Tense. (German Studies in Canada, 8.)Frankfurt/Main: Peter Lang.

Dahl, Östen. 1974. "Some suggestions for a logic of aspects." Slavica Gothoburgensia 6.21-35. 1973 in Logical Grammar Report 3, University of Göteborg, Department of Linguistics.

Dowty, David R. 1972. Studies in the Logic of Verb Aspect and Time Reference in English. (Studies in LinguisticS, 1.)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. 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.

Galton, Anthony. 1987. "The Logic of Occurrence." Anthony Galton (ed.), Temporal Logics and Their Applications. London: Academic Press, 169-96.

Gamut, L. T. F. 1991. Logic, Language and Meaning: Vol. I. Introduction to Logic. Vol. II. Intensional Logic and Logical Grammar. Chicago: The University of Chigago Press.

Gardies, J. L. 1975. La Logique du temps. [The logic of time.] Paris: Presses Universitaires de France.

Goldblatt, R. 1992. Logics of Time and Computation. Chicago: University of Chicago Press. Second edition.

Goranko, Valentin. 1996. "Hierarchies of Modal and Temporal Logics with Reference Pointers." Journal of Logic, Language and Information 5.1-24.

Groenendijk, J. and M. Stokhof. 1991. "Dynamic Predicate Logic." Linguistics and Philosophy 14.39-100.

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.

_____. 1978. "Systems of Intensional Logic and the Semantics of Natural Language." Franz Guenther and Christian Rohrer (eds.), Studies in Formal Semantics: Intensionality, Temporality, Negation. Amsterdam: North-Holland, 41-74.

_____. 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. [?]

Harel, D. 1980. "Dynamic Logic." D. Gabbay and F. Guenther (eds.), Handbook of Philosophical Logic. Dordrecht: Reidel, 497-604.

Harré, Rom. 1960. "Linguistic Foundations for a Time Logic." Atti del XII Congresso Internazionale di Filosofia. Firenze, 213-20.Atti del XII Congresso Internazionale di Filosofia 5.213-20.

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.

Hwang, Chung Hee and Lenhart K. Schubert. 1993. "Episodic Logic: a situational logic for natural language processing." Robin Cooper, Kuniaki Mukai, and John Perry (eds.), Situation theory and its Applications. Stanford: CSLI, 303-38.

Ian Pratt and Nissim Francez. 1999. "A Decidable logic for temporal prepositions." M. Fisher H. Barringer, D. Gabbay and G. Gough (eds.), Advances in Temporal Logic. Dordrecht: Kluwer, 255-78.

Jankowska, Iwona. 1986. "Zur Semantik der Tages- und Epochenbezeichnungen im Deutschen und Polnischen." [On the analysis of meaning of time expressions of the time of day and epoch in German and Polish.] Studia Germanica Posnaniensia 15.51-65.

Kamp, H. 1976. "Quantification and Reference in Modal and Tense Logic." S. J. Schmidt (ed.), Pragmatik II. Munich: Fink, 158-97.

Kamp, Hans. 1968. "Tense Logic and the Theory of Linear Order." PhD dissertation, University of California at Los Angeles.

_____. 1980. "Some Remarks on the Logic of Change, Part I." Christian Rohrer (ed.), Time, Tense and Quantifiers: Proceedings of the Stuttgart Conference on the Logic of Tense and Quantification. Tübingen: Max Niemeyer Verlag, 135-79.

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.

_____. 1980a."Ü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.

Koymans, Ron. 1990. "Specifying Real-time Properties with Metric Temporal Logic." Real-Time Systems 2.255-99.

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. "I Tense Logic and Natural Language." Keiryo Kokugo Gakkai 12.22-33. Followed by “Tense Logic and Natural Language, II” (1979).

_____. 1979a."II Tense Logic and Natural Language." Keiryo Kokugo Gakkai 12.73-85. Follows “Tense Logic and Natural Language, I” (1979).

Lascarides, Alex. 1991. "The Progressive and the Imperfective Paradox." Synthese 87.401-47.

Laurendeau, Paul. 1983. "De l'adverbe de temps au joncteur logique: asteur et d'abord en québequois." [From temporal adverb to logical connective: asteur 'as soon as' and d'abord ‘first, at first’ in Québecois.] Revue de l'Association québecoise de linguistique 3.143-58.

Lightfoot, D. 1975. Natural Logic and the Greek Moods: The Nature of the Subjunctive and the Optative in Classical Greek. (Janua Linguarum Series Practica, 230.)The Hague: Mouton.

Luhtala, A. 1997. On the origin of syntactical description in Stoic logic. Helsinki: Yliopistopaino.

Lutzeier, Peter R. 1976. "'Before' Again or It Is Worth Looking Into It, before You Take ‘before’ for Granted." Linguistische Berichte 45.1-20.

MacArthur, J. 1971. Tense Logic. Dordrecht: Reidel.

Mays, Eric. 1983. "A Modal Temporal Logic for Reasoning about Change." ACL Proceedings 21.38-43.

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.

McDermott, D. 1982. "Temporal logic for reasoning about processes and actions." Cognitive Science 6.101-55.

Montague, Richard. 1974. Formal Philosophy: Selected Papers of Richard Montague. New Haven: Yale University Press. Edited by Richmond H. Thomason.

Muskens, Reinhard. 1995. "Tense and the Logic of Change." Urs Egli, Peter E. Pause, Christoph Schwarze, Arnim von Stechow, and Gotz Wienold (eds.), LEXICAL KNOWLEDGE IN THE ORGANIZATION OF LANGUAGE. Amsterdam: John Benjamins, 147-83.

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.

Naumann, R. 1997. "A Dynamic Temporal Logic for Aspectual Phenomena in Natural Language." Proceedings of the 2nd International Conference on Temporal Logic, Manchester, July 1997. ?: ?, 175-99.

Naumann, Ralf. 1995. "Aspectual Composition and Dynamic Logic." Presented at Tenth Amsterdam Colloquium. CF. Naumann (1995).

_____. 1995a."Aspectual Composition and Dynamic Logic." Habilitationsschrift, University of Düsseldorf. CF. Naumann (1995).

Naumann, Ralf and Anja Latrouite. 1998. "A Modal logic for the interpretation of aspectual phenomena in natural language." Presented at Sinn und Bedeutung 1998: 3. Jahrestagung der Gesellschaft für Semantik, Universität Leipzig, 11-13 December.

Neale, S. 1988. "Events and 'Logical Form'." Linguistics and Philosophy 11.303-21.

Needham, Paul. 1975. Temporal Perspective: A Logical Analysis of Temporal Reference in English. (Filosofiska Studier, 25.)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. (Ohio State University Working Papers in Linguistics, 30.)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.

Pizzi, Claudio. 1985. "Logica del tempo e teoria della corrispondenza nelle indagini semantiche di J.F.A.K van Benthem." [The logic of time and the theory of correspondence in the semantic investigations of J.F.A.K van Benthem.] Lingua e Stile 20.431-47.

Pratt, Ian and David Brée. 1995. "How to Translate some English Temporal Constructions into Temporal Logic." Presented at Conference on Time, Space, and Movement, University of Toulouse.

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.

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.

Schubert, Lenhart K. and Francis Jeffry Pelletier. 1987. "Problems in the Representation of the Logical Form of Generics, Plurals, and Mass Nouns." Ernest LePore (ed.), New Directions in Semantics. London: Academic Press, 385-451.

Scott, Dana. 1970. "Advice on Modal Logic." Karel Lambert (ed.), Philosophical problems in logic, 143-73. Ms., 1968.

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.

Steube, Anita. 1995. "A Model for Temporal Reference in Texts." Richard A. Geiger (ed.), Reference in Multidisciplinary Perspective: Philosophical Object, Cognitive Subject, Intersubjective Process. Hildesheim: Olms, 63-81.

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.

Verkuyl, Henk J. 1970. "De relevante van logische operatoren voor de analyse van temporele bepalingen." [Relevant logical operators for the analysis of temporal clauses.] Studia Neerlandica 1.7-33. Revised as Verkuyl (1973).

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.

 


Back to bibliography page

Back to main index