•  47
    Context, Thought and Communication
    Proceedings of the Aristotelian Society 85. 1985.
    Hans Kamp; XIII*—Context, Thought and Communication, Proceedings of the Aristotelian Society, Volume 85, Issue 1, 1 June 1985, Pages 239–262, https://doi.org/10.
  •  81
    Ups and Downs in the theory of temporal reference
    with Uwe Reyle and Antje Rossdeutscher
    Linguistics 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
  •  110
    The Paradox of the heap
    Journal of Symbolic Logic 49 (3): 225-277. 1981.
  •  128
    IV*—Free Choice Permission
    Proceedings of the Aristotelian Society 74 (1): 57-74. 1974.
    Hans Kamp; IV*—Free Choice Permission, Proceedings of the Aristotelian Society, Volume 74, Issue 1, 1 June 1974, Pages 57–74, https://doi.org/10.1093/aristoteli.
  •  6
    A Theory of Truth and Semantic Representation
    In P. Portner & B. H. Partee (eds.), Formal Semantics - the Essential Readings, Blackwell. pp. 189--222. 1981.
  •  77
    This paper studies the uses of proper names within a communication-theoretic setting, looking at both the conditions that govern the use of a name by a speaker and those involved in the correct interpretation of the name by her audience. The setting in which these conditions are investigated is provided by an extension of Discourse Representation Theory, MSDRT, in which mental states are represented as combinations of propositional attitudes and entity representations . The first half of the pap…Read more
  •  16
    Review: Nicholas Rescher, Temporal Modalities in Arabic Logic (review)
    Journal of Symbolic Logic 38 (2): 325-326. 1973.
  •  14
    Enthymemes
    System Development. 1969.
  •  20
    University of Sao Paulo (Sao Paulo), Brazil, July 28–31, 1998
    with Sergei Artemov, Sam Buss, Edmund Clarke Jr, Heinz Dieter Ebbinghaus, Phokion Kolaitis, Maarten de Rijke, and Valeria de Paiva
    Bulletin of Symbolic Logic 5 (3). 1999.