-
195From 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 ...
-
124Direct deductive computation on discourse representation structuresLinguistics and Philosophy 17 (4). 1994.
-
81Ups 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
-
79Labelled resolution for classical and non-classical logicsStudia Logica 59 (2): 179-216. 1997.Resolution is an effective deduction procedure for classical logic. There is no similar "resolution" system for non-classical logics (though there are various automated deduction systems). The paper presents resolution systems for intuistionistic predicate logic as well as for modal and temporal logics within the framework of labelled deductive systems. Whereas in classical predicate logic resolution is applied to literals, in our system resolution is applied to L(abelled) R(epresentation) S(tru…Read more
-
71A calculus for first order discourse representation structuresJournal of Logic, Language and Information 5 (3-4): 297-348. 1996.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 of DRS-lan…Read more
-
22Computation with run time skolemisation (N-Prolog part 3)Journal of Applied Non-Classical Logics 3 (1): 93-128. 1993.No abstract
-
13Underspecified Discourse Representation Structures and their LogicLogic Journal of the IGPL 3 (2-3): 473-488. 1995.The paper adresses the problem of reasoning with ambiguities. Semantic representations are presented that leave scope relations between quantifiers and/or other operators unspecified. Truth conditions are provided for these representations and different consequence relations are judged on the basis of intuitive correctness. Finally inference patterns are presented that operate directly on these underspecified structures, i.e. do not rely on any translation into the set of their disambiguations
-
8Logic, Language and Reasoning: Essays in Honour of Dov Gabbay (edited book)Springer. 2012.th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. Dov is one of the most outstanding and most productive researchers we have ever met. He has exerted a profound influence in major fields of logic, linguistics and computer science. His contributions in the areas of logic, language and reasoning are so numerous that a comprehensive survey would already fill half of this book. Instead of summarizing his work we decided to let him speak for himself. Sitting in…Read more
Stuttgart, Baden-Württemberg, Germany
Areas of Interest
Philosophy of Language |
Logic and Philosophy of Logic |