-
131IV*—Free Choice PermissionProceedings 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.
-
6A Theory of Truth and Semantic RepresentationIn P. Portner & B. H. Partee (eds.), Formal Semantics - the Essential Readings, Blackwell. pp. 189--222. 1981.
-
79Using Proper Names as Intermediaries Between Labelled Entity RepresentationsErkenntnis 80 (2): 263-312. 2015.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
-
16Review: Nicholas Rescher, Temporal Modalities in Arabic Logic (review)Journal of Symbolic Logic 38 (2): 325-326. 1973.
-
20University of Sao Paulo (Sao Paulo), Brazil, July 28–31, 1998Bulletin of Symbolic Logic 5 (3). 1999.
-
99Representing Discourse in ContextIn Benthem & Meulen (eds.), Handbook of Logic and Language, Mit Press. 1997.
-
42The Philosophical Significance of Intensional LogicAristotelian Society Supplementary Volume 49 (1). 1975.
-
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.
-
Conditionals in dr theoryIn Jakob Hoepelman (ed.), Representation and Reasoning: Proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux, and Logic Programming, M. Niemeyer Verlag. 1988.
Austin, Texas, United States of America