-
22These notes contain the material covered in the second level logic course which has been offered at the Institut für Maschinelle Sprachverarbeitung of the University of Stuttgart on an annual basis since 1992. The course is aimed at students who are familiar with the notation and use of the first order predicate calculus but have had little or no previous exposure to metamathematics.
-
7A Theory of Truth and Semantic RepresentationIn Paul H. Portner & Barbara H. Partee (eds.), Formal Semantics - the Essential Readings, Blackwell. pp. 189--222. 2002.
-
154The Philosophical Significance of Intensional LogicAristotelian Society Supplementary Volume 49 (1). 1975.
-
374Events, instants and temporal referenceIn Rainer Bäuerle, Urs Egli & Arnim von Stechow (eds.), Semantics from different points of view, Springer Verlag. pp. 376--418. 1979.
-
161Ups and Downs in the theory of temporal referenceLinguistics and Philosophy 30 (5): 565-635. 2007.This paper proposes a method for computing the temporal aspects of the interpretations of a variety of Germa sentences. The method is strictly modular in the sense that it allows each meaning-bearing sentence constituent to make its own, separate, contribution to the semantic representation of any sentence containing it. The semantic representation of a sentence is reached in several stages. First, an ‘initial semantic representation’ is constructed, using a syntactic analysis of the sentence as…Read more
-
26Review: Robert P. McArthur, Tense Logic (review)Journal of Symbolic Logic 45 (1): 184-185. 1980.
Austin, Texas, United States of America