32 found
Order:
See also:
Profile: Hans Kamp (University of Texas at Austin)
  1.  45
    Hans Kamp & Uwe Reyle (1993). From Discourse to Logic. Kluwer.
    Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than ...
    Direct download  
     
    Export citation  
     
    My bibliography   171 citations  
  2. Hans Kamp (1979). Events, Instants and Temporal Reference. In Rainer Bäuerle, Urs Egli & Arnim von Stechow (eds.), Semantics From Different Points of View. Springer-Verlag 376--418.
    Direct download  
     
    Export citation  
     
    My bibliography   10 citations  
  3.  15
    Daniel Bonevac & Hans Kamp (forthcoming). Quantifiers Defined by Parametric Extensions. Journal of Philosophical Logic:1-45.
    This paper develops a metaphysically flexible theory of quantification broad enough to incorporate many distinct theories of objects. Quite different, mutually incompatible conceptions of the nature of objects and of reference find representation within it. Some conceptions yield classical first-order logic; some yield weaker logics. Yet others yield notions of validity that are proper extensions of classical logic.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. Hans Kamp (1971). Formal properties of `now'. Theoria 37 (3):227-274.
  5.  21
    Hans Kamp (2015). Using Proper Names as Intermediaries Between Labelled Entity Representations. Erkenntnis 80 (2):263-312.
    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 paper presents the (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  6.  75
    Jan van Eijck & Hans Kamp (1997). Representing Discourse in Context. In Benthem & Meulen (eds.), Handbook of Logic and Language. MIT Press
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  7. Hans Kamp (1981). A Theory of Truth and Semantic Representation. In P. Portner & B. H. Partee (eds.), Formal Semantics - the Essential Readings. Blackwell 189--222.
     
    Export citation  
     
    My bibliography   47 citations  
  8.  99
    Hans Kamp (1971). Formal Properties of 'Now'. Theoria 37 (3):227-273.
  9.  33
    Hans Kamp & Uwe Monnich (1981). The Paradox of the Heap. In U. Mönnich (ed.), Journal of Symbolic Logic. Dordrecht 225--277.
  10.  32
    Hans Kamp (1973). Free Choice Permission. Proceedings of the Aristotelian Society 74:57 - 74.
    Direct download  
     
    Export citation  
     
    My bibliography   16 citations  
  11. Martin Stokhof & Hans Kamp, Information in Natural Language.
    Natural languages are vehicles of information, arguably the most important, certainly the most ubiquitous that humans possess. Our everyday interactions with the world, with each other and with ourselves depend on them. And even where in the specialised contexts of science we use dedicated formalisms to convey information, their use is embedded in natural language.1..
     
    Export citation  
     
    My bibliography  
  12.  18
    Hans Kamp (1984). Context, Thought and Communication. Proceedings of the Aristotelian Society 85:239 - 261.
    Direct download  
     
    Export citation  
     
    My bibliography   8 citations  
  13. Hans Kamp (1968). Tense Logic and the Theory of Linear Order. Dissertation, Ucla
    Translate
     
     
    Export citation  
     
    My bibliography   10 citations  
  14.  41
    Uwe Reyle, Antje Rossdeutscher & Hans Kamp (2007). Ups and Downs in the Theory of Temporal Reference. Linguistics and Philosophy 30 (5):565-635.
    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 input. This initial representation is then (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  11
    Hans Kamp, Boem-mo Kang, Paul Kay, Ali Kazmi, Edward L. Keenan, Jeff King, Ewan Klein, Angelika Kratzer, Manfred Krifka & William Ladusaw (1995). 688 ACKNOWLEDGMENT Iwanska, Lucia Johnson, Mark Kadmon, Nirit K~ Ilm~ N, L~ Zlo. Linguistics and Philosophy 18:687-688.
    Direct download  
     
    Export citation  
     
    My bibliography  
  16.  37
    Hans Kamp & Uwe Reyle (1996). A Calculus for First Order Discourse Representation Structures. Journal of Logic, Language and Information 5 (3-4):297-348.
    This paper presents a sound and complete proof system for the first order fragment of Discourse Representation Theory. Since the inferences that human language users draw from the verbal input they receive for the most transcend the capacities of such a system, it can be no more than a basis on which more powerful systems, which are capable of producing those inferences, may then be built. Nevertheless, even within the general setting of first order logic the structure of the formulas (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  17. Hans Kamp & U. Reyle (1993). From Discourse to Logic Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory.
  18.  18
    Hans Kamp & Tom Baldwin (1975). The Philosophical Significance of Intensional Logic. Aristotelian Society Supplementary Volume 49 (1):21 - 65.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  19.  7
    Hans Kamp (1970). Review: Georg Henrik von Wright, "And Next."; G. H. Von Wright, "And Then."; G. H. Von Wright, Quelques Remarques Sur la Logique du Temps Et les Systemes Modales. [REVIEW] Journal of Symbolic Logic 35 (3):459-460.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  3
    Hans Kamp, Alessandro Lenci & James Pustejovsky, Computational Models of Language Meaning in Context (Dagstuhl Seminar 13462).
    This report documents the program and the outcomes of Dagstuhl Seminar 13462 "Computational Models of Language Meaning in Context". The seminar addresses one of the most significant issues to arise in contemporary formal and computational models of language and inference: that of the role and expressiveness of distributional models of semantics and statistically derived models of language and linguistic behavior. The availability of very large corpora has brought about a near revolution in computational linguistics and language modeling, including machine translation, (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  21.  2
    Hans Kamp (1980). Review: Robert P. McArthur, Tense Logic. [REVIEW] Journal of Symbolic Logic 45 (1):184-185.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  2
    Hans Kamp (1973). Review: Nicholas Rescher, Temporal Modalities in Arabic Logic. [REVIEW] Journal of Symbolic Logic 38 (2):325-326.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. Hans Kamp (1974). IV—Free Choice Permission. Proceedings of the Aristotelian Society 74 (1):57-74.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  24. Sergei Artemov, Sam Buss, Edmund Clarke Jr, Heinz Dieter Ebbinghaus, Hans Kamp, Phokion Kolaitis, Maarten de Rijke & Valeria de Paiva (1999). University of Sao Paulo (Sao Paulo), Brazil, July 28–31, 1998. Bulletin of Symbolic Logic 5 (3).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25. Hans Kamp (1988). Conditionals in Dr Theory. In Jakob Hoepelman (ed.), Representation and Reasoning: Proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming. M. Niemeyer Verlag
     
    Export citation  
     
    My bibliography  
  26. Hans Kamp & Barbara Hall Partee (eds.) (2004). Context-Dependence in the Analysis of Linguistic Meaning. Elsevier.
    Does context and context-dependence belong to the research agenda of semantics - and, specifically, of formal semantics? Not so long ago many linguists and philosophers would probably have given a negative answer to the question. However, recent developments in formal semantics have indicated that analyzing natural language semantics without a thorough accommodation of context-dependence is next to impossible. The classification of the ways in which context and context-dependence enter semantic analysis, though, is still a matter of much controversy and some (...)
     
    Export citation  
     
    My bibliography  
  27.  3
    Hans Kamp (1969). Enthymemes. Santa Monica, Calif.,System Development Corp..
    Direct download  
     
    Export citation  
     
    My bibliography  
  28. Hans Kamp (1980). McArthur Robert P.. Tense Logic. Synthese Library, Vol. 111. D. Reidel Publishing Company, Dordrecht and Boston 1976, Vii + 84 Pp. [REVIEW] Journal of Symbolic Logic 45 (1):184-185.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. Hans Kamp (1973). Rescher Nicholas. Temporal Modalities in Arabic Logic. Foundations of Language, Supplementary Series, Vol. 2. D. Reidel Publishing Company, Dordrecht, Holland, 1967, Ix + 50 Pp. [REVIEW] Journal of Symbolic Logic 38 (2):325-326.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30. Hans Kamp & Galit W. Sassoon (forthcoming). Vagueness. In Paul Dekker Maria Aloni (ed.), The Cambridge Handbook of Formal Semantics. Cambridge University Press 389-441.
  31. Hans Kamp (1970). Wright Georg Henrik Von. “And Next.” Studia Logico-Mathematica Et Philosophica, in Honorem Rolf Nevanlinna Die Natali Eius Septuagesimo 22. X. 1965. Acta Philosophica Fennica, No. 18, Helsinki 1965, Pp. 293–304.Von Wright G. H.. “And Then.” Societas Scientiarum Fennica, Commentationes Physico-Mathematicae, Vol. 32 No. 7, Helsinki 1966, 11 Pp.Von Wright G. H.. Quelques Remarques Sur la Logique du Temps Et les Systèmes Modales. “Scientia,” Vol. 102 , Pp. 2–8. [REVIEW] Journal of Symbolic Logic 35 (3):459-460.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. Hans Kamp (1985). XIII—Context, Thought and Communication. Proceedings of the Aristotelian Society 85 (1):239-262.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography