-
26Review: Robert P. McArthur, Tense Logic (review)Journal of Symbolic Logic 45 (1): 184-185. 1980.
-
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.
-
122Using 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
-
314From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation TheoryKluwer Academic Publishers. 1993.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 ...
-
90Quantifiers Defined by Parametric ExtensionsJournal of Philosophical Logic 46 (2): 169-213. 2017.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.
-
100Representing Discourse in ContextIn J. F. A. K. Van Benthem, Johan van Benthem & Alice G. B. Ter Meulen (eds.), Handbook of Logic and Language, Elsevier. 1997.
Austin, Texas, United States of America